- void check_play_state ();
- void active_jobs_changed (boost::optional<std::string>);
- void back_clicked (wxMouseEvent &);
- void forward_clicked (wxMouseEvent &);
- void player_changed (bool);
- void update_position_label ();
- void update_position_slider ();
- void video (boost::shared_ptr<PlayerVideo>, DCPTime time);
- void get ();
- void seek (DCPTime t, bool accurate);
- void refresh_panel ();
- void setup_sensitivity ();
- void film_changed (Film::Property);
- DCPTime nudge_amount (wxMouseEvent &);
- void timecode_clicked ();
- void frame_number_clicked ();
- void go_to (DCPTime t);
- void jump_to_selected_clicked ();
+ void player_change (ChangeType type, int, bool);
+ void idle_handler ();
+ void request_idle_get ();
+ void film_change (ChangeType, Film::Property);
+ void recreate_butler ();
+ void config_changed (Config::Property);
+
+ dcpomatic::DCPTime time () const;
+ dcpomatic::DCPTime uncorrected_time () const;
+ Frame average_latency () const;
+
+ void refresh_view ();
+ bool quick_refresh ();