From 38c286c019f0d12be42ccb972c767b3d116a43e2 Mon Sep 17 00:00:00 2001
From: Benno Schulenberg <bensberg@telfort.nl>
Date: Thu, 26 Dec 2019 17:07:51 +0100
Subject: [PATCH] input: recognize the raw escape sequences for F13 to F16 on
 xterm too

For symmetry with Gnome Terminal, Konsole, and the Linux console.

This fixes https://savannah.gnu.org/bugs/?57482.
---
 src/winio.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/winio.c b/src/winio.c
index f0c1a15b..428bccfd 100644
--- a/src/winio.c
+++ b/src/winio.c
@@ -990,6 +990,11 @@ int convert_sequence(const int *seq, size_t length, int *consumed)
 						return SHIFT_END;
 					case 'H': /* Esc [ 1 ; 2 H == Shift-Home on xterm. */
 						return SHIFT_HOME;
+					case 'P': /* Esc [ 1 ; 2 P == F13 on xterm. */
+					case 'Q': /* Esc [ 1 ; 2 Q == F14 on xterm. */
+					case 'R': /* Esc [ 1 ; 2 R == F15 on xterm. */
+					case 'S': /* Esc [ 1 ; 2 S == F16 on xterm. */
+						return KEY_F(13 + seq[4] - 'P');
 #endif
 				}
 				break;