diff options
author | Robin Gareus <robin@gareus.org> | 2016-12-23 03:56:01 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2016-12-23 03:56:01 +0100 |
commit | a6b4d8b8c641c141b62e4bec5d205d9d0e8d1e2d (patch) | |
tree | e107bd8ce764a54f898caeb1cc52e9f740b31ab0 /gtk2_ardour/editor.h | |
parent | 1e487d59d16f5aa9959b06dd9fde7ff6930408ce (diff) |
fix editor sidebar show/hide with embedded TimeInfo
Diffstat (limited to 'gtk2_ardour/editor.h')
-rw-r--r-- | gtk2_ardour/editor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/editor.h b/gtk2_ardour/editor.h index 7030599c0a..c76f5c5d97 100644 --- a/gtk2_ardour/editor.h +++ b/gtk2_ardour/editor.h @@ -626,6 +626,7 @@ class Editor : public PublicEditor, public PBD::ScopedConnectionList, public ARD boost::optional<float> pre_notebook_shrink_pane_width; + Gtk::VBox _editor_list_vbox; Gtk::Notebook _the_notebook; bool _notebook_shrunk; void add_notebook_page (std::string const &, Gtk::Widget &); |