chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9529a1c) | patch
script; Rename mousecursor_etc_reupdate
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 13 Jun 2022 00:10:20 +0000 (01:10 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 13 Jun 2022 00:30:41 +0000 (01:30 +0100)
commit31261f7c6b2466b0765f03e055c64ce1fa1599fa
tree71669525c2f09e797da7e089996ee2a62e6c3aedtree | snapshot
parent9529a1c4b68e73c28e7e8add22697a519ced1d2bcommit | diff
script; Rename mousecursor_etc_reupdate

We're going to call this when entering/leaving 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.