Warp mode reset on the fly change

diff --git a/od-win32/win32gfx.cpp b/od-win32/win32gfx.cpp
index de955af2c3832533635aa220ad3457825cd6de2b..3d3f0bad7c5fc0e7add58eb7dc7975d6764e6eb0 100644 (file)
--- a/od-win32/win32gfx.cpp
+++ b/od-win32/win32gfx.cpp
@@ -2554,6 +2554,7 @@ int check_prefs_changed_gfx(void)
                currprefs.win32_shutdown_notification != changed_prefs.win32_shutdown_notification ||
                currprefs.win32_warn_exit != changed_prefs.win32_warn_exit ||
                currprefs.win32_gui_control != changed_prefs.win32_gui_control ||
+               currprefs.turbo_boot != changed_prefs.turbo_boot ||
                currprefs.right_control_is_right_win_key != changed_prefs.right_control_is_right_win_key)
        {
                currprefs.win32_minimize_inactive = changed_prefs.win32_minimize_inactive;
@@ -2579,6 +2580,7 @@ int check_prefs_changed_gfx(void)
                currprefs.win32_shutdown_notification = changed_prefs.win32_shutdown_notification;
                currprefs.win32_warn_exit = changed_prefs.win32_warn_exit;
                currprefs.win32_gui_control = changed_prefs.win32_gui_control;
+               currprefs.turbo_boot = changed_prefs.turbo_boot;
                currprefs.right_control_is_right_win_key = changed_prefs.right_control_is_right_win_key;
                inputdevice_unacquire ();
                currprefs.keyboard_leds_in_use = changed_prefs.keyboard_leds_in_use = (currprefs.keyboard_leds[0] | currprefs.keyboard_leds[1] | currprefs.keyboard_leds[2]) != 0;