diff src/readline-1-input.patch @ 2980:2cf09b449d88

readline patches for windows from goffioul
author John W. Eaton <jwe@octave.org>
date Thu, 18 Apr 2013 02:04:36 -0400
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/readline-1-input.patch	Thu Apr 18 02:04:36 2013 -0400
@@ -0,0 +1,17 @@
+diff -uNr a/input.c b/input.c
+--- a/input.c	2010-05-30 18:33:01.000000000 -0400
++++ b/input.c	2013-04-17 23:50:34.759675631 -0400
+@@ -466,7 +466,12 @@
+ 
+ #if defined (__MINGW32__)
+       if (isatty (fileno (stream)))
+-	return (getch ());
++        {
++          int c = _getch ();
++          if (c == 0xe0)
++            rl_execute_next (_getch ());
++          return (c);
++        }
+ #endif
+       result = read (fileno (stream), &c, sizeof (unsigned char));
+