chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0818def) | patch
js: Avoid duplicate handling of keystrokes
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 3 Apr 2021 23:19:07 +0000 (00:19 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 4 Apr 2021 19:07:53 +0000 (20:07 +0100)
commit0395bd667c8041a6cebfa1b0c4c8d34245a1d0ab
treee9a0c9ec444666035af5d55f64f0078a18844c9atree | snapshot
parent0818def94653e22d2c937baec5cefbd3cc0bf98bcommit | diff
js: Avoid duplicate handling of keystrokes

We didn't notice that keys you type into input boxes (currently, just
zoom) get fed to the play interpreter too, because you would only type
digits there which are ignored.

But we are about to pay attention to digits.

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.