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