diff --git a/src/preferences.cpp b/src/preferences.cpp index d9571968805..eaad7ab677f 100644 --- a/src/preferences.cpp +++ b/src/preferences.cpp @@ -63,6 +63,12 @@ manager::manager() set_sound_volume(sound_volume()); set_show_haloes(prefs["show_haloes"] != "no"); + if(prefs["remember_timer_settings"] != "yes") { + prefs.values.erase("mp_countdown_init_time"); + prefs.values.erase("mp_countdown_reservoir_time"); + prefs.values.erase("mp_countdown_turn_bonus"); + prefs.values.erase("mp_countdown_action_bonus"); + } std::vector v; v = utils::split(prefs["encountered_units"]);