+ void reset_device_selector();
+
+ 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;
+
+ void session_error(const QString text, const QString info_text);