+ list< shared_ptr<Session> > sessions_;
+ shared_ptr<Session> last_focused_session_;
+
+ map< QDockWidget*, shared_ptr<views::ViewBase> > view_docks_;
+ map< QDockWidget*, shared_ptr<subwindows::SubWindowBase> > sub_windows_;
+
+ map< 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_;
+
+ QIcon icon_red_;
+ QIcon icon_green_;
+ QIcon icon_grey_;
+
+ QShortcut *view_sticky_scrolling_shortcut_;
+ QShortcut *view_show_sampling_points_shortcut_;
+ QShortcut *view_show_analog_minor_grid_shortcut_;
+ QShortcut *view_colored_bg_shortcut_;
+ QShortcut *run_stop_shortcut_;
+ QShortcut *close_application_shortcut_;
+ QShortcut *close_current_tab_shortcut_;
+ QShortcut *zoom_in_shortcut_;
+ QShortcut *zoom_in_shortcut_2_;
+ QShortcut *zoom_out_shortcut_;
+ QShortcut *zoom_out_shortcut_2_;
+ QShortcut *home_shortcut_;
+ QShortcut *end_shortcut_;