chiark / gitweb /
wdt: Get rid of many open-coded key_up/key_down pairs
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Jul 2021 17:35:40 +0000 (18:35 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 21 Jul 2021 19:40:37 +0000 (20:40 +0100)
commit6ceecd462d5717221f8fe8a8739c5e8619d4e318
tree29577c17e12b21d269de17f9dee4d01bf4d1147e
parented2d5aa2b89fa80767c8128e9895824c804bbfcd
wdt: Get rid of many open-coded key_up/key_down pairs

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
wdriver/wdt-bundles.rs
wdriver/wdt-hand.rs
wdriver/wdt-simple.rs