+ void set_editor_x (std::pair<double, double> const &);
+ void set_editor_y (double);
+ void set_editor_y (std::pair<double, double> const &);
+ 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);
+
+ 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;