script: Leave wresting mode on space

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

diff --git a/templates/script.ts b/templates/script.ts
index ce6a395c4e4b2c942788cfa656e521ca3324aa00..dc279f2ea8280a4980a23b37efbc29a164a062f9 100644 (file)
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -397,7 +397,7 @@ function recompute_keybindings() {
     }
   }
   add_uo(null, {
-    def_key: 'W',
+    def_key: wresting ? 'W SPC' /* won't match, handle ad-hoc */ : 'W',
     kind: 'ClientExtra',
     opname: 'wrest',
     desc: wresting ? 'Exit wresting mode' : 'Enter wresting mode',
@@ -495,9 +495,10 @@ function some_keydown(e: KeyboardEvent) {
     mousecursor_etc_reupdate();
     return;
   }
-  if (e.key == ' ') {
+  if (e.key == ' ' || (e.key == 'W' && wresting)) {
     y();
     special_count = null;
+    wresting = false;
     mousecursor_etc_reupdate();
     return;
   }