Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
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,
opname: 'wrest',
desc: 'Enter wresting mode',
targets: null,
+ wrc: 'Predictable',
}
var uo_keys = Object.keys(uo_map);
uo_keys.sort(function (ak,bk) {