fixes bug with not disabling code editors when editing prompt

hazelgrove · Dec 20, 2024 · b767108 · b767108
1 parent 385da45
commit b767108
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 6 deletions.
diff --git a/src/haz3lweb/exercises/Exercise.re b/src/haz3lweb/exercises/Exercise.re
@@ -436,8 +436,6 @@ let update_test_val_rep = ({eds}: state, new_test_num: int, new_dist: int) => {
 
 let update_mut_test_rep =
     ({eds}: state, new_dist: int, new_hints: list(string)) => {
-  print_endline("New Point Dist for Mut Grading is: ");
-  print_endline(string_of_int(new_dist));
   let updated_bugs =
     List.mapi(
       (i, bug) => {
@@ -449,8 +447,6 @@ let update_mut_test_rep =
       },
       eds.hidden_bugs,
     );
-  print_endline("New Point Dist for Mut Grading is: ");
-  print_endline(string_of_int(new_dist));
   {
     eds: {
       ...eds,

diff --git a/src/haz3lweb/exercises/Grading.re b/src/haz3lweb/exercises/Grading.re
@@ -1114,8 +1114,6 @@ module ImplGradingReport = {
         ~syntax_report: SyntaxReport.t,
         ~max_points: int,
       ) => {
-    print_endline("Editing?? : ");
-    print_endline(string_of_bool(editing_impl_grd_rep));
     CellCommon.panel(
       ~classes=["cell-item", "panel", "test-panel"],
       [

diff --git a/src/haz3lweb/view/ExerciseMode.re b/src/haz3lweb/view/ExerciseMode.re
@@ -760,6 +760,7 @@ module View = {
                         ~attrs=[
                           Attr.class_("prompt-text"),
                           Attr.id("prompt-input-box"),
+                          Attr.on_focus(_ => signal(MakeActive(TextBox))),
                         ],
                         [text(eds.prompt)],
                       ),