guint32 last_key_press_time;
void snapshot_session (bool switch_to_it);
+ void rename_session ();
Mixer_UI *mixer;
int create_mixer ();
void step_edit_status_change (bool);
+ void platform_specific ();
+ void platform_setup ();
+
/* these are used only in response to a platform-specific "ShouldQuit" signal
*/
bool idle_finish ();
void queue_finish ();
+ void fontconfig_dialog ();
std::list<WindowProxyBase*> _window_proxies;