summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/core.py3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/core.py b/src/core.py
index 439fa219..71e66175 100644
--- a/src/core.py
+++ b/src/core.py
@@ -376,6 +376,9 @@ class Core(object):
current = []
for char in char_list:
assert(len(char) > 0)
+ # Transform that stupid char into what we actually meant
+ if char == '\x1f':
+ char = '^/'
if len(char) == 1:
current.append(char)
else: