+ void set_editor (double, double);
+ void set_editor (std::pair<double, double>, double);
+ void set_editor (std::pair<double, double>, std::pair<double, double>);
+ void set_editor_x (double);
+ void set_editor_x (std::pair<double, double>);
+ void set_editor_y (double);
+ void set_editor_y (std::pair<double, double>);
+ void playhead_position_changed (framepos_t);
+ double summary_y_to_editor (double) const;
+ double editor_y_to_summary (double) const;
+ Position get_position (double, double) const;
+ void set_cursor (Position);
+ void route_gui_changed (std::string);
+ bool suspending_editor_updates () const;
+ double playhead_frame_to_position (framepos_t) const;
+ framepos_t position_to_playhead_frame_to_position (double pos) const;
+ void set_overlays_dirty (int, int, int, int);
+
+ framepos_t _start; ///< start frame of the overview
+ framepos_t _end; ///< end frame of the overview
+
+ /** fraction of the session length by which the overview size should extend past the start and end markers */
+ double _overhang_fraction;