+ bool on_scroll_event (GdkEventScroll *);
+ bool on_key_press_event (GdkEventKey*);
+ bool on_key_release_event (GdkEventKey*);
+ bool on_enter_notify_event (GdkEventCrossing*);
+ bool on_leave_notify_event (GdkEventCrossing*);
+
+ void centre_on_click (GdkEventButton *);
+ void render (cairo_t *, cairo_rectangle_t*);
+ void render_region (RegionView*, cairo_t*, double) const;
+ void get_editor (std::pair<double, double> *, std::pair<double, double> *) const;
+ 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);