diff options
Diffstat (limited to 'src/gui/ingen_gui.ui')
| -rw-r--r-- | src/gui/ingen_gui.ui | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/gui/ingen_gui.ui b/src/gui/ingen_gui.ui index e8023463..16549a27 100644 --- a/src/gui/ingen_gui.ui +++ b/src/gui/ingen_gui.ui @@ -1462,15 +1462,6 @@ Contributors: </object> </child> <child> - <object class="GtkImageMenuItem" id="node_controls_menuitem"> - <property name="label" translatable="yes">Show Controls...</property> - <property name="can_focus">False</property> - <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> - <property name="use_action_appearance">False</property> - <property name="use_stock">False</property> - </object> - </child> - <child> <object class="GtkImageMenuItem" id="node_popup_gui_menuitem"> <property name="label" translatable="yes">Show GUI...</property> <property name="can_focus">False</property> |