{
Q_OBJECT
+private:
+ static const QString WindowTitle;
+
public:
explicit MainWindow(DeviceManager &device_manager,
std::string open_file_name = std::string(),
std::shared_ptr<Session> add_session();
+ void remove_session(std::shared_ptr<Session> session);
+
private:
void setup_ui();
void on_add_view(const QString &title, view::ViewType type,
Session *session);
+ void on_focus_changed();
+
+ void on_new_session();
+ void on_session_name_changed();
+ void on_new_view(Session *session);
+ void on_view_close_clicked();
+
void on_actionViewStickyScrolling_triggered();
void on_actionViewColouredBg_triggered();
private:
DeviceManager &device_manager_;
- std::vector< std::shared_ptr<Session> > sessions_;
+ std::list< std::shared_ptr<Session> > sessions_;
std::map< std::shared_ptr<QDockWidget>,
std::shared_ptr<pv::view::View> > view_docks_;