void flush_local_cache ();
void vmon_update ();
void flush_cache ();
void save_session ();
void close_session ();
void sync_session_state (); /* video-monitor does not actively report window/pos changes, query it */
void flush_local_cache ();
void vmon_update ();
void flush_cache ();
void save_session ();
void close_session ();
void sync_session_state (); /* video-monitor does not actively report window/pos changes, query it */