diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2012-06-12 04:20:13 +0000 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2012-06-12 04:20:13 +0000 |
commit | b0fdefb7af31ff6f81e0b89891c748b42c78df3d (patch) | |
tree | b76b9e765e286f7a498760e60399890e99faf5c4 /gtk2_ardour/ardour_ui.h | |
parent | 557f56a7f2173fdf9b01dfb3f3410f227d05f8e2 (diff) |
maximise-editor patch from Rodrigo:
* makes "View >> Toolbar When Maximized" act immediately, i.e., even when already maximized changing this toggle changes whenever toolbar is shown or not;
* renames "Toolbar When Maximized" to "Show Toolbar" as it acts whenever editor has maximized space or not.
git-svn-id: svn://localhost/ardour2/branches/3.0@12668 d708f5d6-7413-0410-9779-e7cbd77b26cf
Diffstat (limited to 'gtk2_ardour/ardour_ui.h')
-rw-r--r-- | gtk2_ardour/ardour_ui.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gtk2_ardour/ardour_ui.h b/gtk2_ardour/ardour_ui.h index 6e867292dc..b022c13ba4 100644 --- a/gtk2_ardour/ardour_ui.h +++ b/gtk2_ardour/ardour_ui.h @@ -166,6 +166,7 @@ class ARDOUR_UI : public Gtkmm2ext::UI, public ARDOUR::SessionHandlePtr void new_midi_tracer_window (); void toggle_route_params_window (); void toggle_editing_space(); + void toggle_editing_space_force(bool force); void toggle_keep_tearoffs(); Gtk::Tooltips& tooltips() { return _tooltips; } @@ -240,8 +241,8 @@ class ARDOUR_UI : public Gtkmm2ext::UI, public ARDOUR::SessionHandlePtr gint exit_on_main_window_close (GdkEventAny *); - void maximise_editing_space (); - void restore_editing_space (); + void maximise_editing_space (bool force); + void restore_editing_space (bool force); void setup_profile (); void setup_tooltips (); |