+ void make_substitution();
+ void formation_double_clicked(bool offense, unsigned row);
+
+ void update_ui_from_time(uint64_t t);
+ void update_status(uint64_t t);
+ void update_player_buttons(uint64_t t);
+ void update_action_buttons(uint64_t t);
+ void update_gender_ratio(uint64_t t);