js: Multi select, actually ungrab them all

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

diff --git a/templates/script.ts b/templates/script.ts
index cc8b3e438d3c4b8f9d874a307aafd9f28c9ed66a..3d609cdf4bc7da1cf6f8cc682b450427c7f6f164 100644 (file)
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -1108,11 +1108,12 @@ function drag_mouseup(e: MouseEvent) {
 function drag_end() {
   if (dragging == DRAGGING.MAYBE_UNGRAB ||
       (dragging & ~DRAGGING.RAISED) == (DRAGGING.MAYBE_GRAB | DRAGGING.YES)) {
-    let dp = drag_pieces[0]!;
-    let piece = dp.piece;
-    let p = pieces[piece]!;
-    set_ungrab(piece,p);
-    api_piece(api, 'ungrab', piece,p, { });
+    for (let dp of drag_pieces) {
+      let piece = dp.piece;
+      let p = pieces[piece]!;
+      set_ungrab(piece,p);
+      api_piece(api, 'ungrab', piece,p, { });
+    }
   }
   drag_cancel();
 }