+ void monitor_section_attached ();
+ void monitor_section_detached ();
+
+ void store_current_favorite_order();
+ void refiller (ARDOUR::PluginInfoList& result, const ARDOUR::PluginInfoList& plugs);
+ void refill_favorite_plugins ();
+ void sync_treeview_from_favorite_order ();
+ void sync_treeview_favorite_ui_state (const Gtk::TreeModel::Path&, const Gtk::TreeModel::iterator&);
+ void save_favorite_ui_state (const Gtk::TreeModel::iterator& iter, const Gtk::TreeModel::Path& path);
+
+ /// true if we are in fullscreen mode
+ bool _maximised;
+
+ // true if mixer list is visible
+ bool _show_mixer_list;
+};
+
+#endif /* __ardour_mixer_ui_h__ */