| commit | eb871e72f54e446e038e9084af2183a00e39cf54 | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Sun May 01 10:02:49 2016 +0200 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Sun May 01 22:04:17 2016 +0200 |
| tree | c575c94061d9dd1567cf6c979e13c25b9571bd6b | |
| parent | 3c8647e713630f9e3ca8763af983320731511782 [diff] |
input: distinguish an unknown escape sequence from an unbound key It is misleading to say "Unknown Command" when there is no way to rebind the relevant key stroke do anything useful.