From 52f9b90384b593e29be4c53376ed5f165f976bad Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 26 Jun 2022 01:46:07 +0100
Subject: [PATCH] script: Fix event propagation (for Chromium)

Apparently Chromium handles default behaviour of mouse events
differently, and we need to suppress it like this.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 templates/script.ts | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/templates/script.ts b/templates/script.ts
index 519c6fe6..8039a000 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -1026,6 +1026,8 @@ function some_mousedown(e : MouseEvent) {
   if (e.ctrlKey) {
     return;
   } else {
+    e.preventDefault();
+    e.stopPropagation();
     drag_mousedown(e, e.shiftKey);
   }
 }
-- 
2.30.2