diff options
Diffstat (limited to 'src/gui/machina.ui')
| -rw-r--r-- | src/gui/machina.ui | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/gui/machina.ui b/src/gui/machina.ui index 75c4c1f..ccf85ad 100644 --- a/src/gui/machina.ui +++ b/src/gui/machina.ui @@ -283,16 +283,6 @@ press stop or play and the new nodes will be added to the machine. <object class="GtkMenu" id="view_menu_menu"> <property name="can_focus">False</property> <child> - <object class="GtkCheckMenuItem" id="view_time_edges_menuitem"> - <property name="use_action_appearance">False</property> - <property name="visible">True</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="label" translatable="yes">_Time Based Edges</property> - <property name="use_underline">True</property> - </object> - </child> - <child> <object class="GtkCheckMenuItem" id="view_labels_menuitem"> <property name="use_action_appearance">False</property> <property name="visible">True</property> |