Enable JIT FPU when enabling JIT if FPU is already enabled.

diff --git a/od-win32/win32gui.cpp b/od-win32/win32gui.cpp
index d631abacb773a92804f6ae4cc0942ce30fc83774..4cf8dcde0f307246a964468431287c0b56b470f8 100644 (file)
--- a/od-win32/win32gui.cpp
+++ b/od-win32/win32gui.cpp
@@ -13417,9 +13417,12 @@ static void values_from_cpudlg(HWND hDlg, WPARAM wParam)
                workprefs.comptrustword = trust_prev;
                workprefs.comptrustlong = trust_prev;
                workprefs.comptrustnaddr = trust_prev;
-               if (workprefs.fpu_mode > 0) {
+               if (workprefs.fpu_mode > 0 || workprefs.fpu_model == 0) {
                        workprefs.compfpu = false;
                        setchecked(hDlg, IDC_JITFPU, false);
+               } else if (workprefs.fpu_model > 0) {
+                       workprefs.compfpu = true;
+                       setchecked(hDlg, IDC_JITFPU, true);
                }
        }
        if (!workprefs.cachesize) {