view src/readline-1-input.patch @ 6083:49f199fba615

isl: Switch to official mirror. * src/gcc-isl.mk, src/isl.mk: Use new "official" mirror. See: https://groups.google.com/g/isl-development/c/JGaMo2VUu_8/m/wVTUVZrrAQAJ
author Markus Mützel <markus.muetzel@gmx.de>
date Sat, 12 Feb 2022 12:03:29 +0100
parents 41e50d658de0
children 5ef7d51c2195
line wrap: on
line source

diff -ur readline-8.1.1/input.c readline-8.1.2/input.c
--- readline-8.1.1/input.c	2020-12-19 07:54:06.883500144 -0500
+++ readline-8.1.2/input.c	2020-12-19 07:55:29.042995655 -0500
@@ -538,7 +538,12 @@
 
 #if defined (__MINGW32__)
       if (isatty (fileno (stream)))
-	return (_getch ());	/* "There is no error return." */
+        {
+          int c = _getch ();
+          if (c == 0xe0)
+            rl_execute_next (_getch ());
+          return (c);
+        }
 #endif
       result = 0;
 #if defined (HAVE_PSELECT)