+ void reset_device_selector();
+
+ void select_device(std::shared_ptr<devices::Device> device);
+
+ void load_init_file(const std::string &file_name,
+ const std::string &format);
+
+ QAction* action_new_session() const;
+ QAction* action_new_view() const;
+ QAction* action_open() const;
+ QAction* action_save_as() const;
+ QAction* action_save_selection_as() const;
+ QAction* action_connect() const;
+ QAction* action_quit() const;
+ QAction* action_view_zoom_in() const;
+ QAction* action_view_zoom_out() const;
+ QAction* action_view_zoom_fit() const;
+ QAction* action_view_zoom_one_to_one() const;
+ QAction* action_view_show_cursors() const;
+