From 741bd854039c962a2271e461bdda2b87b29ff800 Mon Sep 17 00:00:00 2001 From: Matt Keenan Date: Wed, 13 Nov 2024 15:57:23 -0500 Subject: [PATCH] Fix unable to edit text projector --- src/haz3lweb/app/Page.re | 1 - 1 file changed, 1 deletion(-) diff --git a/src/haz3lweb/app/Page.re b/src/haz3lweb/app/Page.re index 70422b0dd7..d709d39711 100644 --- 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 */