void set_film (boost::shared_ptr<Film>);
+ DCPTime position () const {
+ return _position;
+ }
+
+ 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 ();