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