void on_new_view(Session *session);
void on_view_close_clicked();
+ void on_tab_close_requested(int index);
+
void on_actionViewStickyScrolling_triggered();
void on_actionViewColouredBg_triggered();
std::list< std::shared_ptr<Session> > sessions_;
- std::map< std::shared_ptr<QDockWidget>,
- std::shared_ptr<views::ViewBase> > view_docks_;
+ std::map< QDockWidget*, std::shared_ptr<views::ViewBase> > view_docks_;
std::map< std::shared_ptr<Session>, QMainWindow*> session_windows_;