From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 13 Jun 2022 00:10:47 +0000 (+0100)
Subject: script; Call mousecursor_etc_reupdate on wresting entry/exit
X-Git-Tag: otter-1.2.0~25
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=f1245c3760abcb5a0fa98457696d29bcc3c3633e;p=otter.git

script; Call mousecursor_etc_reupdate on wresting entry/exit

This will let us change the mouse cursor according to wresting mode.

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

diff --git a/templates/script.ts b/templates/script.ts
index 52959cac..b6a77414 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -850,7 +850,7 @@ keyops_local['wrest'] = function (uo: UoRecord) {
   document.getElementById('wresting-warning')!.innerHTML = !wresting ? "" :
     " <strong>(wresting mode!)</strong>";
   ungrab_all();
-  recompute_keybindings();
+  mousecursor_etc_reupdate();
 }
 
 keyops_local['motion-hint-history'] = function (uo: UoRecord) {