Stop stepper reset when updating settings

src/haz3lcore/dynamics/DHExp.re

@@ -14,18 +14,6 @@ let mk = (ids, term): t => {
   {ids, copied: true, term};
 };
 
-let (replace_all_ids, replace_all_ids_typ) = {
-  let f:
-    'a.
-    (IdTagged.t('a) => IdTagged.t('a), IdTagged.t('a)) => IdTagged.t('a)
-   =
-    (continue, exp) => {...exp, ids: [Id.mk()]} |> continue;
-  (
-    map_term(~f_exp=f, ~f_pat=f, ~f_typ=f, ~f_tpat=f, ~f_rul=f),
-    Typ.map_term(~f_exp=f, ~f_pat=f, ~f_typ=f, ~f_tpat=f, ~f_rul=f),
-  );
-};
-
 // TODO: make this function emit a map of changes
 let repair_ids =
   map_term(

src/haz3lweb/view/StepperView.re

@@ -280,7 +280,24 @@ module Update = {
         elab: Exp.t,
         {history, cached_settings, cached_elab}: Model.t,
       ) => {
-    let settings = cached_settings |> Calc.set(settings);
+    let settings =
+      cached_settings
+      |> Calc.set(settings, ~eq=(a, b) => {
+           CoreSettings.{
+             ...a,
+             evaluation: {
+               ...a.evaluation,
+               show_settings: true,
+             },
+           }
+           == CoreSettings.{
+                ...b,
+                evaluation: {
+                  ...b.evaluation,
+                  show_settings: true,
+                },
+              }
+         });
     let elab = cached_elab |> Calc.set(~eq=Exp.fast_equal, elab);
 
     let (prev_a, history) =