diff options
Diffstat (limited to 'src/gui/MachinaGUI.hpp')
| -rw-r--r-- | src/gui/MachinaGUI.hpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui/MachinaGUI.hpp b/src/gui/MachinaGUI.hpp index ac4bb6d..4b82ff3 100644 --- a/src/gui/MachinaGUI.hpp +++ b/src/gui/MachinaGUI.hpp @@ -65,6 +65,7 @@ protected: void zoom(double z); bool idle_callback(); void update_toolbar(); + void arrange(); bool scrolled_window_event(GdkEvent* ev); void record_toggled(); @@ -98,6 +99,7 @@ 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; |