void idle_handler ();
void request_idle_display_next_frame ();
void film_change (ChangeType, Film::Property);
- void recreate_butler ();
+ void destroy_butler();
+ void create_butler();
+ void destroy_and_maybe_create_butler();
void config_changed (Config::Property);
void film_length_change ();
void ui_finished ();
bool quick_refresh ();
std::shared_ptr<Film> _film;
- std::shared_ptr<Player> _player;
+ boost::optional<Player> _player;
std::shared_ptr<VideoView> _video_view;
bool _coalesce_player_changes = false;