chiark / gitweb /
Add wrc basic copying
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Sep 2020 22:45:27 +0000 (23:45 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 30 Sep 2020 22:45:27 +0000 (23:45 +0100)
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts

index 50514302ec8368ae981be865240aa3e5666880fb..446de6f94d74662e5d0aa2dd37b353630a570fb2 100644 (file)
@@ -47,9 +47,11 @@ type Pos = [number, number];
 type ClientSeq = number;
 type Generation = number;
 type UoKind = "Global"| "Piece" | "ClientExtra" | "GlobalExtra";
+type WhatResponseToClientOp = "Predictable" | "Unpredictable" | "UpdateSVG";
 
 type UoDescription = {
   kind: UoKind;
+  wrc: WhatResponseToClientOp,
   def_key: string,
   opname: string,
   desc: string,
@@ -670,6 +672,7 @@ function recompute_keybindings() {
     opname: 'wrest',
     desc: 'Enter wresting mode',
     targets: null,
+    wrc: 'Predictable',
   }
   var uo_keys = Object.keys(uo_map);
   uo_keys.sort(function (ak,bk) {