diff options
Diffstat (limited to 'src/libs/gui/ingen_gui.glade')
-rw-r--r-- | src/libs/gui/ingen_gui.glade | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/libs/gui/ingen_gui.glade b/src/libs/gui/ingen_gui.glade index 5dbc318b..aa0680ea 100644 --- a/src/libs/gui/ingen_gui.glade +++ b/src/libs/gui/ingen_gui.glade @@ -184,6 +184,17 @@ </widget> </child> <child> + <widget class="GtkImageMenuItem" id="patch_select_all_menuitem"> + <property name="visible">True</property> + <property name="tooltip" translatable="yes">Select all objects in a patch</property> + <property name="label">gtk-select-all</property> + <property name="use_underline">True</property> + <property name="use_stock">True</property> + <signal name="activate" handler="on_patch_select_all_menuitem_activate"/> + <accelerator key="A" modifiers="GDK_CONTROL_MASK" signal="activate"/> + </widget> + </child> + <child> <widget class="GtkSeparatorMenuItem" id="menuitem1"> <property name="visible">True</property> </widget> |