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