DeviceManager &device_manager_;
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_;
+ QToolButton *new_session_button_, *run_stop_button_, *settings_button_;
QTabWidget session_selector_;
QSignalMapper session_state_mapper_;