From 19b882a0bd30f7f185e119afbfc72f4c960e0d31 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Mon, 15 Feb 2021 05:24:21 +0530 Subject: [PATCH] Also handle : as a legacy ASCII key Fixes #3315 --- kitty/key_encoding.c | 1 + 1 file changed, 1 insertion(+) diff --git a/kitty/key_encoding.c b/kitty/key_encoding.c index 9b3276a3a..52c01d7eb 100644 --- a/kitty/key_encoding.c +++ b/kitty/key_encoding.c @@ -303,6 +303,7 @@ is_legacy_ascii_key(uint32_t key) { case ']': case '\\': case ';': + case ':': case '\'': case ',': case '.':