From f1245c3760abcb5a0fa98457696d29bcc3c3633e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 13 Jun 2022 01:10:47 +0100
Subject: [PATCH] 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>
---
 templates/script.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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) {
-- 
2.30.2