void display_player_video ();
void film_change (ChangeType, Film::Property);
void recreate_butler ();
void config_changed (Config::Property);
void display_player_video ();
void film_change (ChangeType, Film::Property);
void recreate_butler ();
void config_changed (Config::Property);