From 71e09ba1fb26c43be72cb6677728370cbf136632 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Thu, 1 Dec 2022 23:33:08 +0530 Subject: [PATCH] Fix show_key kitten showing incorrect CSI encoding for F3 --- kitty/key_encoding.py | 2 ++ tools/tui/loop/key-encoding.go | 3 +++ 2 files changed, 5 insertions(+) diff --git a/kitty/key_encoding.py b/kitty/key_encoding.py index 88a7be4dc..b6b66b0c3 100644 --- a/kitty/key_encoding.py +++ b/kitty/key_encoding.py @@ -354,6 +354,8 @@ def decode_key_event(csi: str, csi_type: str) -> KeyEvent: def csi_number_for_name(key_name: str) -> int: if not key_name: return 0 + if key_name in ('F3', 'ENTER'): + return 13 fn = get_name_to_functional_number_map().get(key_name) if fn is None: return ord(key_name) diff --git a/tools/tui/loop/key-encoding.go b/tools/tui/loop/key-encoding.go index d9a854005..1ee251951 100644 --- a/tools/tui/loop/key-encoding.go +++ b/tools/tui/loop/key-encoding.go @@ -362,6 +362,9 @@ func csi_number_for_name(key_name string) int { if key_name == "" { return 0 } + if key_name == "F3" || key_name == "ENTER" { + return 13 + } fn, ok := name_to_functional_number_map[key_name] if !ok { return int(rune(key_name[0]))