From bf68618117fc683d18490861e5dac32dae545cb6 Mon Sep 17 00:00:00 2001
From: facundoy <facundoy@umich.edu>
Date: Sun, 22 Sep 2024 17:17:04 -0400
Subject: [PATCH] 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. */