From: Ian Jackson Date: Wed, 30 Sep 2020 22:45:27 +0000 (+0100) Subject: Add wrc basic copying X-Git-Tag: otter-0.2.0~811 X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=2f219cada0693176113e00966a66ab057e0cba19;p=otter.git Add wrc basic copying Signed-off-by: Ian Jackson --- diff --git a/templates/script.ts b/templates/script.ts index 50514302..446de6f9 100644 --- a/templates/script.ts +++ b/templates/script.ts @@ -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) {