From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 14 Jul 2021 15:26:33 +0000 (+0100)
Subject: script: Introduce plumbing for loose parameter (2)
X-Git-Tag: otter-0.7.2~90
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=d84de03249c28a461837e005e6dba66cf8d0db20;p=otter.git

script: Introduce plumbing for loose parameter (2)

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

diff --git a/templates/script.ts b/templates/script.ts
index a6c966fa..6e76e889 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -261,7 +261,7 @@ function api_piece_x(f: (meth: string, payload: Object) => void,
 function api_piece(meth: string,
 		   piece: PieceId, p: PieceInfo,
 		   op: Object) {
-  api_piece_x(api_immediate, false, meth, piece, p, op);
+  api_piece_x(api_immediate, false,meth, piece, p, op);
 }
 
 function svg_element(id: string): SVGGraphicsElement | null {
@@ -933,7 +933,8 @@ function grab_clicked(clicked: PieceId[]) {
   for (let piece of clicked) {
     let p = pieces[piece]!;
     set_grab_us(piece,p);
-    api_piece(wresting ? 'wrest' : 'grab', piece,p, { });
+    api_piece_x(api_immediate, false,
+		wresting ? 'wrest' : 'grab', piece,p, { });
   }
 }
 function ungrab_clicked(clicked: PieceId[]) {