int set_state (const XMLNode& );
void show_mixer_list (bool yn);
+ void show_monitor_section (bool);
void show_window ();
bool hide_window (GdkEventAny *ev);
void monitor_section_going_away ();
+ void monitor_section_attached ();
+ void monitor_section_detached ();
+
/// true if we are in fullscreen mode
bool _maximised;