Fix show_key kitten showing incorrect CSI encoding for F3

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)

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]))