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: