use a hash-table to cache gui properties

[ardour.git] / gtk2_ardour / editor.h

diff --git a/gtk2_ardour/editor.h b/gtk2_ardour/editor.h
index a50fe95649e27fb404f9c98eecb91c3c1ff56a64..83610f0895046601e74b0bf7e300397333c33423 100644 (file)
--- a/gtk2_ardour/editor.h
+++ b/gtk2_ardour/editor.h
@@ -404,6 +404,7 @@ class Editor : public PublicEditor, public PBD::ScopedConnectionList, public ARD
        void center_screen (framepos_t);
 
        TrackViewList axis_views_from_routes (boost::shared_ptr<ARDOUR::RouteList>) const;
+
        Gtkmm2ext::TearOff* mouse_mode_tearoff () const { return _mouse_mode_tearoff; }
        Gtkmm2ext::TearOff* tools_tearoff () const { return _tools_tearoff; }