diff options
Diffstat (limited to 'src/gui/MachinaGUI.hpp')
| -rw-r--r-- | src/gui/MachinaGUI.hpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/gui/MachinaGUI.hpp b/src/gui/MachinaGUI.hpp index 3ebbd04..a4e3908 100644 --- a/src/gui/MachinaGUI.hpp +++ b/src/gui/MachinaGUI.hpp @@ -146,7 +146,6 @@ protected: Gtk::MenuItem* _menu_export_graphviz; Gtk::MenuItem* _menu_help_about; Gtk::CheckMenuItem* _menu_view_labels; - Gtk::CheckMenuItem* _menu_view_time_edges; Gtk::CheckMenuItem* _menu_view_toolbar; Gtk::MenuItem* _menu_help_help; Gtk::ScrolledWindow* _canvas_scrolledwindow; |