- DCPTime one_video_frame () const;
-
- boost::shared_ptr<Film> _film;
- boost::shared_ptr<Player> _player;
-
- wxSizer* _v_sizer;
- /** The area that we put our image in */
- wxPanel* _panel;
- wxCheckBox* _outline_content;
- wxRadioButton* _left_eye;
- wxRadioButton* _right_eye;
- wxCheckBox* _jump_to_selected;
- wxSlider* _slider;
- wxButton* _rewind_button;
- wxButton* _back_button;
- wxButton* _forward_button;
- wxStaticText* _frame_number;
- wxStaticText* _timecode;
- wxToggleButton* _play_button;
- wxTimer _timer;
- bool _coalesce_player_changes;
- std::list<int> _pending_player_changes;
- bool _slider_being_moved;
- bool _was_running_before_slider;
-
- std::pair<boost::shared_ptr<PlayerVideo>, DCPTime> _player_video;
- boost::shared_ptr<const Image> _frame;
- DCPTime _video_position;
- Position<int> _inter_position;
- dcp::Size _inter_size;
-
- /** Size of our output (including padding if we have any) */
- dcp::Size _out_size;
- /** Size of the panel that we have available */
- dcp::Size _panel_size;
+
+ bool quick_refresh ();
+
+ std::shared_ptr<Film> _film;
+ std::shared_ptr<Player> _player;
+
+ std::shared_ptr<VideoView> _video_view;
+ bool _coalesce_player_changes = false;
+ std::vector<int> _pending_player_changes;