diff options
author | Jiri Moskovcak <jmoskovc@redhat.com> | 2009-08-11 15:36:23 +0200 |
---|---|---|
committer | Jiri Moskovcak <jmoskovc@redhat.com> | 2009-08-11 15:36:23 +0200 |
commit | de7ae6b763e48607f7d1da8f4f98bd7386cccba8 (patch) | |
tree | 60b61555cba7712e850fbecb7a37a1dca26b7a23 /src/Gui/ccgui.glade | |
parent | 13329d88e147fac7cafcdebcafd1859a74a27aa9 (diff) | |
download | abrt-de7ae6b763e48607f7d1da8f4f98bd7386cccba8.tar.gz abrt-de7ae6b763e48607f7d1da8f4f98bd7386cccba8.tar.xz abrt-de7ae6b763e48607f7d1da8f4f98bd7386cccba8.zip |
GUI: Added option to disable/enable plugins (config preview)
Diffstat (limited to 'src/Gui/ccgui.glade')
-rw-r--r-- | src/Gui/ccgui.glade | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/Gui/ccgui.glade b/src/Gui/ccgui.glade index 53da45b..958af5d 100644 --- a/src/Gui/ccgui.glade +++ b/src/Gui/ccgui.glade @@ -32,6 +32,25 @@ </widget> </child> <child> + <widget class="GtkMenuItem" id="edit"> + <property name="visible">True</property> + <property name="label" translatable="yes">_Edit</property> + <property name="use_underline">True</property> + <child> + <widget class="GtkMenu" id="menu1"> + <property name="visible">True</property> + <child> + <widget class="GtkImageMenuItem" id="miPreferences"> + <property name="label">gtk-preferences</property> + <property name="visible">True</property> + <property name="use_stock">True</property> + </widget> + </child> + </widget> + </child> + </widget> + </child> + <child> <widget class="GtkMenuItem" id="menuitem8"> <property name="visible">True</property> <property name="label" translatable="yes">_Help</property> |