chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 31261f7) | patch
script; Call mousecursor_etc_reupdate on wresting entry/exit
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 13 Jun 2022 00:10:47 +0000 (01:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 13 Jun 2022 00:31:10 +0000 (01:31 +0100)
commitf1245c3760abcb5a0fa98457696d29bcc3c3633e
tree761dafea2548c72534a8c7f396a5fdac8d9b69f3tree | snapshot
parent31261f7c6b2466b0765f03e055c64ce1fa1599facommit | diff
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 diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.