diff options
Diffstat (limited to 'keymapparser.py')
| -rw-r--r-- | keymapparser.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/keymapparser.py b/keymapparser.py index 510a47a9..032805b3 100644 --- a/keymapparser.py +++ b/keymapparser.py @@ -52,6 +52,13 @@ def readKeymap(): if len(id) == 1: keyid = ord(id) | 0x8000 + elif id[0] == '\\': + if id[1] == 'x': + keyid = int(id[2:], 0x10) | 0x8000 + elif id[1] == 'd': + keyid = int(id[2:]) | 0x8000 + else: + raise "key id '" + str(id) + "' is neither hex nor dec" else: try: keyid = KEYIDS[id] |