void calculate_sizes ();
void check_play_state ();
void active_jobs_changed (boost::optional<std::string>);
+ void rewind_clicked (wxMouseEvent &);
void back_clicked (wxMouseEvent &);
void forward_clicked (wxMouseEvent &);
void player_changed (bool);
wxRadioButton* _right_eye;
wxCheckBox* _jump_to_selected;
wxSlider* _slider;
+ wxButton* _rewind_button;
wxButton* _back_button;
wxButton* _forward_button;
wxStaticText* _frame_number;
dcp::Size _out_size;
/** Size of the panel that we have available */
dcp::Size _panel_size;
- /** true if the last call to Player::seek() was specified to be accurate;
- * this is used so that when re-fetching the current frame we
- * can get the same one that we got last time.
- */
- bool _last_seek_accurate;
RtAudio _audio;
int _audio_channels;