void set_film (boost::shared_ptr<Film>);
+ DCPTime position () const {
+ return _position;
+ }
+
+ void set_position (DCPTime p);
+ void set_coalesce_player_changes (bool c);
+
+ void refresh ();
+
+ boost::signals2::signal<void (boost::weak_ptr<PlayerVideo>)> ImageChanged;
+
private:
void paint_panel ();
void panel_sized (wxSizeEvent &);
void timer ();
void calculate_sizes ();
void check_play_state ();
- void active_jobs_changed (bool);
+ void active_jobs_changed (boost::optional<std::string>);
void back_clicked ();
void forward_clicked ();
void player_changed (bool);
- void set_position_text ();
+ void update_position_label ();
+ void update_position_slider ();
void get (DCPTime, bool);
void refresh_panel ();
void setup_sensitivity ();
wxStaticText* _timecode;
wxToggleButton* _play_button;
wxTimer _timer;
+ bool _coalesce_player_changes;
+ bool _pending_player_change;
boost::shared_ptr<const Image> _frame;
DCPTime _position;