Fix unable to edit text projector

hazelgrove · Nov 13, 2024 · 741bd85 · 741bd85
1 parent 4387c19
commit 741bd85
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/haz3lweb/app/Page.re b/src/haz3lweb/app/Page.re
@@ -320,7 +320,6 @@ module View = {
         }
       );
     [
-      Attr.on_keypress(_ => Effect.Prevent_default),
       Attr.on_keyup(key_handler(~inject, ~dir=KeyUp)),
       Attr.on_keydown(key_handler(~inject, ~dir=KeyDown)),
       /* safety handler in case mousedown overlay doesn't catch it */