From 7a1e4ef2baad122051fbbf46ac57f80e8914408f Mon Sep 17 00:00:00 2001 From: cqc Date: Fri, 17 Feb 2023 15:25:04 -0600 Subject: [PATCH] Dom.preventDefault hack keeps browser shortcuts from happening. --- boot_js.ml | 1 + human.ml | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/boot_js.ml b/boot_js.ml index 4784d15..b816c21 100644 --- a/boot_js.ml +++ b/boot_js.ml @@ -118,5 +118,6 @@ let _ = images); buffered_loop (make_event Dom_html.Event.keydown) Dom_html.document (fun ev _ -> + Dom.preventDefault ev; Lwt.return @@ push_event (Some (`Keys [ Event_js.evt_of_jskey ev ]))) diff --git a/human.ml b/human.ml index 29025b6..103d419 100644 --- a/human.ml +++ b/human.ml @@ -3163,7 +3163,7 @@ module Widgets = struct else `Unhandled)) | [ (`Uchar u, [ `Ctrl ]) ] when eq_uc_c u 'k' -> `Handled - | [ (`Uchar u, [ `Ctrl ]) ] when eq_uc_c u 'x' -> + | [ (`Uchar s, [ `Ctrl ]) ] when eq_uc_c s 's' -> let b = Buffer.create 1024 in Lwd_table.iter (fun line ->