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 52959cac92f1d16775e99df5a1bccfff268eac62..b6a774144beae4cd58c1d30551e642803e68dfb8 100644 (file)
--- 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) {