js: Disable drag-and-drop

Sometimes, but not always, I can trigger this; the card icon starts
floating about weirdly, the JS doesn't get a mouseup event, etc.,

Empirically this code seems enough to stop it.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/templates/script.ts b/templates/script.ts
index 5fafffde82fb14e5fa100581c42fe9dc7c0f9950..4aae898c5d070428b0516f74d6981e3b36f17f1d 100644 (file)
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -1809,6 +1809,10 @@ function startup() {
   }
   recompute_keybindings();
   space.addEventListener('mousedown', some_mousedown);
+  space.addEventListener('dragstart', function (e) {
+    e.preventDefault();
+    e.stopPropagation();
+  }, true);
   document.addEventListener('keydown',   some_keydown);
 }