commit | 0d88f8a78bc0d91ab6fa53c9109f7316bfe5ffbb | [log] [download] |
---|---|---|
author | nicm <nicm> | Mon Jul 16 08:48:22 2018 +0000 |
committer | nicm <nicm> | Mon Jul 16 08:48:22 2018 +0000 |
tree | 8e177b235f513cb521e21f194bbd84125e706d53 | |
parent | ff67ef945dd9b93b7d62ea1ec8077d86f3c57d12 [diff] |
Add an "Any" key to run a command if a key is pressed that is not bound in the current key table. GitHub issue 1404.