- void set_editor (std::pair<double, double> const &, std::pair<double, double> const &);
- void playhead_position_changed (nframes64_t);
-
- nframes_t _start; ///< start frame of the overview
- nframes_t _end; ///< end frame of the overview
+ 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