+ std::list< std::shared_ptr<Session> > sessions_;
+ std::shared_ptr<Session> last_focused_session_;
+
+ std::map< QDockWidget*, std::shared_ptr<views::ViewBase> > view_docks_;
+
+ std::map< std::shared_ptr<Session>, QMainWindow*> session_windows_;
+
+ QWidget *static_tab_widget_;
+ QToolButton *new_session_button_, *run_stop_button_, *settings_button_;
+ QTabWidget session_selector_;
+ QSignalMapper session_state_mapper_;