chiark / gitweb /
script: Fix handling of mixed actions (clashing keystrokes)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Jul 2021 22:21:38 +0000 (23:21 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 14 Jul 2021 22:21:38 +0000 (23:21 +0100)
commitff054ce302f8bc803bfa59c7b57fb899ffa4ce11
treebf694bd6ce1d703082f271a9f0e12f3b60befbeb
parentef148e8fed3bb2283ce9c891962ae0c4d3b63a3f
script: Fix handling of mixed actions (clashing keystrokes)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
templates/script.ts