chiark / gitweb /
terminal/idev: add helper to match keyboard shortcuts