- void update_position_label ();
- void update_position_slider ();
- void get ();
- void display_player_video ();
- void seek (DCPTime t, bool accurate);
- void refresh_panel ();
- void setup_sensitivity ();
- void film_changed (Film::Property);
- DCPTime nudge_amount (wxKeyboardState &);
- void timecode_clicked ();
- void frame_number_clicked ();
- void go_to (DCPTime t);
- void jump_to_selected_clicked ();
+ void idle_handler ();
+ void request_idle_get ();
+ void film_change (ChangeType, Film::Property);