diff options
author | David Robillard <d@drobilla.net> | 2007-09-21 04:01:33 +0000 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2007-09-21 04:01:33 +0000 |
commit | a1e97211b02cc1cd9509617cd3452d731ad7b512 (patch) | |
tree | 09fc6e10ce01b6975fc69f3f14bf031919264d80 /src/libs/gui/ingen_gui.glade | |
parent | 2fd281a285e4b0bc31e0a0dc6f970359440612c8 (diff) | |
download | ingen-a1e97211b02cc1cd9509617cd3452d731ad7b512.tar.gz ingen-a1e97211b02cc1cd9509617cd3452d731ad7b512.tar.bz2 ingen-a1e97211b02cc1cd9509617cd3452d731ad7b512.zip |
Reimplement menu system to be picturey, glade loaded, heirarchial, code reusey, etc.
Patch port polyphony toggling.
git-svn-id: http://svn.drobilla.net/lad/ingen@745 a436a847-0d15-0410-975c-d299462d15a1
Diffstat (limited to 'src/libs/gui/ingen_gui.glade')
-rw-r--r-- | src/libs/gui/ingen_gui.glade | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/src/libs/gui/ingen_gui.glade b/src/libs/gui/ingen_gui.glade index 8d1b157e..498faad4 100644 --- a/src/libs/gui/ingen_gui.glade +++ b/src/libs/gui/ingen_gui.glade @@ -3102,4 +3102,71 @@ Thank you for contributing.</property> </widget> </child> </widget> + <widget class="GtkMenu" id="object_menu"> + <property name="visible">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <child> + <widget class="GtkCheckMenuItem" id="object_polyphonic_menuitem"> + <property name="visible">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="tooltip" translatable="yes">Expose individual voices</property> + <property name="label" translatable="yes">Polyphonic</property> + <property name="use_underline">True</property> + </widget> + </child> + <child> + <widget class="GtkImageMenuItem" id="object_disconnect_menuitem"> + <property name="visible">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="tooltip" translatable="yes">Disconnect all connections</property> + <property name="label" translatable="yes">gtk-disconnect</property> + <property name="use_underline">True</property> + <property name="use_stock">True</property> + </widget> + </child> + <child> + <widget class="GtkImageMenuItem" id="object_rename_menuitem"> + <property name="visible">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="tooltip" translatable="yes">Rename this object</property> + <property name="label" translatable="yes">Rename...</property> + <property name="use_underline">True</property> + <child internal-child="image"> + <widget class="GtkImage" id="menu-item-image20"> + <property name="visible">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="stock">gtk-find-and-replace</property> + </widget> + </child> + </widget> + </child> + <child> + <widget class="GtkImageMenuItem" id="object_destroy_menuitem"> + <property name="visible">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="tooltip" translatable="yes">Destroy this object</property> + <property name="label" translatable="yes">gtk-delete</property> + <property name="use_underline">True</property> + <property name="use_stock">True</property> + </widget> + </child> + </widget> + <widget class="GtkMenu" id="node_menu"> + <property name="visible">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <child> + <widget class="GtkImageMenuItem" id="node_controls_menuitem"> + <property name="visible">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <property name="tooltip" translatable="yes">Manipulate controls in a separate window</property> + <property name="label" translatable="yes">Controls...</property> + <property name="use_underline">True</property> + <child internal-child="image"> + <widget class="GtkImage" id="menu-item-image21"> + <property name="stock">gtk-edit</property> + </widget> + </child> + </widget> + </child> + </widget> </glade-interface> |