- 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* _back_button;
- wxButton* _forward_button;
- wxStaticText* _frame_number;
- wxStaticText* _timecode;
- wxToggleButton* _play_button;
- wxTimer _timer;
- bool _coalesce_player_changes;
- bool _pending_player_change;
-
- 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;
- /** 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;
+ 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;