destroy splash when hiding it to workaround odd bug on OS X where the window will...

[ardour.git] / gtk2_ardour / mixer_ui.h

diff --git a/gtk2_ardour/mixer_ui.h b/gtk2_ardour/mixer_ui.h
index 5a3b746457c6b15d4d4e9e40dafa222b4f1deb4c..febc62b8ddbbaa25558a829e883b5434c287f81d 100644 (file)
--- a/gtk2_ardour/mixer_ui.h
+++ b/gtk2_ardour/mixer_ui.h
@@ -275,6 +275,8 @@ class Mixer_UI : public Gtk::Window, public PBD::ScopedConnectionList, public AR
 
        void follow_editor_selection ();
        bool _following_editor_selection;
+
+       void monitor_section_going_away ();
 };
 
 #endif /* __ardour_mixer_ui_h__ */