fixed bugs with some editors not being disabled when editing title

hazelgrove · Aug 5, 2024 · 30c1035 · 30c1035
1 parent 0ab1240
commit 30c1035
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 2 deletions.
diff --git a/src/haz3lschool/Exercise.re b/src/haz3lschool/Exercise.re
@@ -482,6 +482,16 @@ module F = (ExerciseEnv: ExerciseEnv) => {
           provided: eds.your_tests.provided,
         };
       },
+      hidden_bugs:
+        eds.hidden_bugs
+        |> List.map(({impl, hint}) => {
+             let impl = Editor.set_read_only(impl, editing);
+             {impl, hint};
+           }),
+      hidden_tests: {
+        let tests = Editor.set_read_only(eds.hidden_tests.tests, editing);
+        {tests, hints: eds.hidden_tests.hints};
+      },
       your_impl: Editor.set_read_only(eds.your_impl, editing),
     },
   };

diff --git a/src/haz3lweb/Store.re b/src/haz3lweb/Store.re
@@ -253,8 +253,6 @@ module Exercise = {
   };
 
   let load_exercise = (spec, ~instructor_mode, ~editing_title): Exercise.state => {
-    print_string("ID at load: ");
-    print_endline(Id.to_string(spec.id));
     let keystring = Id.to_string(spec.id);
     switch (JsUtil.get_localstore(keystring)) {
     | Some(data) =>