void toggle_monitor_section_visibility ();
void toggle_keep_tearoffs();
+ void reset_focus (Gtk::Widget*);
+
static PublicEditor* _instance;
/** Emitted frequently with the audible frame, false, and the edit point as
bool save_as_progress_update (float fraction, int64_t cnt, int64_t total, Gtk::Label* label, Gtk::ProgressBar* bar);
void save_session_as ();
+ void archive_session ();
void rename_session ();
int create_mixer ();
void step_down_through_tabs ();
void escape ();
+ void close_current_dialog ();
void pre_release_dialog ();
};