Don't update stepper on show history

hazelgrove · Dec 11, 2024 · 4a0ffc1 · 4a0ffc1
1 parent 38974de
commit 4a0ffc1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/haz3lweb/view/StepperView.re b/src/haz3lweb/view/StepperView.re
@@ -289,13 +289,15 @@ module Update = {
              evaluation: {
                ...a.evaluation,
                show_settings: true,
+               stepper_history: true,
              },
            }
            == CoreSettings.{
                 ...b,
                 evaluation: {
                   ...b.evaluation,
                   show_settings: true,
+                  stepper_history: true,
                 },
               }
          });