diff options
| -rw-r--r-- | src/fe-text/gui-readline.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/fe-text/gui-readline.c b/src/fe-text/gui-readline.c index c23b42c7..394374ae 100644 --- a/src/fe-text/gui-readline.c +++ b/src/fe-text/gui-readline.c @@ -162,6 +162,12 @@ void handle_key(unichar key) str[utf16_char_to_utf8(key, str)] = '\0'; } + if (strcmp(str, "^") == 0) { + /* change it as ^^ */ + str[1] = '^'; + str[2] = '\0'; + } + if (escape_next_key || !key_pressed(keyboard, str)) { /* key wasn't used for anything, print it */ escape_next_key = FALSE; |