void remove_session(shared_ptr<Session> session);
- void add_session_with_file(string open_file_name, string open_file_format);
+ void add_session_with_file(string open_file_name,
+ string open_file_format,
+ string open_setup_file_name);
void add_default_session();