diff options
Diffstat (limited to 'gtk2_ardour/editor.h')
| -rw-r--r-- | gtk2_ardour/editor.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/gtk2_ardour/editor.h b/gtk2_ardour/editor.h index 2c2056dbd6..c46b305c27 100644 --- a/gtk2_ardour/editor.h +++ b/gtk2_ardour/editor.h @@ -520,7 +520,11 @@ class Editor : public PublicEditor, public PBD::ScopedConnectionList, public ARD int pre_maximal_editor_height; void pane_allocation_handler (Gtk::Allocation&, Gtk::Paned*); - Gtk::Notebook the_notebook; + Gtk::Notebook _the_notebook; + bool _notebook_shrunk; + void add_notebook_page (std::string const &, Gtk::Widget &); + bool notebook_tab_clicked (GdkEventButton *, Gtk::Widget *); + Gtk::HPaned edit_pane; Gtk::VPaned editor_summary_pane; |