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>

diff --git a/templates/script.ts b/templates/script.ts
index 519c6fe6ff91a1b0eed2831b968f93da87cef5f5..8039a000b6f75693d4f24cb605bd92faa715c7c5 100644 (file)
--- 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);
   }
 }