From bf68618117fc683d18490861e5dac32dae545cb6 Mon Sep 17 00:00:00 2001 From: facundoy Date: Sun, 22 Sep 2024 17:17:04 -0400 Subject: [PATCH 1/2] Adding code that got deleted during the merge --- src/haz3lweb/Main.re | 1 + 1 file changed, 1 insertion(+) diff --git a/src/haz3lweb/Main.re b/src/haz3lweb/Main.re index 194e46f820..0b90e99d7f 100644 --- a/src/haz3lweb/Main.re +++ b/src/haz3lweb/Main.re @@ -83,6 +83,7 @@ module App = { schedule_action(Haz3lweb.Update.SetMeta(FontMetrics(fm))) ); + NinjaKeys.initialize(NinjaKeys.options(schedule_action)); JsUtil.focus_clipboard_shim(); /* initialize state. */ From 746a54b2a0b7879b27461871528b7e04c7c0caeb Mon Sep 17 00:00:00 2001 From: facundoy Date: Sun, 6 Oct 2024 14:11:44 -0400 Subject: [PATCH 2/2] Fixed a bug where the pencil icon appeared outside of instructor mode --- src/haz3lweb/view/ExerciseMode.re | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/haz3lweb/view/ExerciseMode.re b/src/haz3lweb/view/ExerciseMode.re index 75c065e94e..8340f73e17 100644 --- a/src/haz3lweb/view/ExerciseMode.re +++ b/src/haz3lweb/view/ExerciseMode.re @@ -81,7 +81,7 @@ let view = let prompt_view = { let (msg, _) = ExplainThis.mk_translation(~inject=Some(inject), eds.prompt); - let msg = + let new_msg = msg @ [ div( @@ -119,7 +119,7 @@ let view = ), ], ) - : div(~attrs=[Attr.class_("prompt-content")], msg) + : div(~attrs=[Attr.class_("prompt-content")], new_msg) : div(~attrs=[Attr.class_("prompt-content")], msg), ], ),