void on_size_request (Gtk::Requisition *);
bool on_button_press_event (GdkEventButton *);
bool on_button_release_event (GdkEventButton *);
bool on_motion_notify_event (GdkEventMotion *);
bool on_scroll_event (GdkEventScroll *);
void on_size_request (Gtk::Requisition *);
bool on_button_press_event (GdkEventButton *);
bool on_button_release_event (GdkEventButton *);
bool on_motion_notify_event (GdkEventMotion *);
bool on_scroll_event (GdkEventScroll *);
void set_cursor (Position);
void route_gui_changed (std::string);
bool suspending_editor_updates () 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);