void closeEvent(QCloseEvent *event);
virtual QMenu* createPopupMenu();
virtual bool restoreState(const QByteArray &state, int version = 0);
void closeEvent(QCloseEvent *event);
virtual QMenu* createPopupMenu();
virtual bool restoreState(const QByteArray &state, int version = 0);
std::map< QDockWidget*, std::shared_ptr<views::ViewBase> > view_docks_;
std::map< std::shared_ptr<Session>, QMainWindow*> session_windows_;
QWidget *static_tab_widget_;
std::map< QDockWidget*, std::shared_ptr<views::ViewBase> > view_docks_;
std::map< std::shared_ptr<Session>, QMainWindow*> session_windows_;
QWidget *static_tab_widget_;
QAction *const action_view_sticky_scrolling_;
QAction *const action_view_coloured_bg_;
QAction *const action_about_;
QAction *const action_view_sticky_scrolling_;
QAction *const action_view_coloured_bg_;
QAction *const action_about_;