diff src/readline-1-binding.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 c2864508b524
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/readline-1-binding.patch	Thu Apr 18 02:04:36 2013 -0400
@@ -0,0 +1,24 @@
+diff -uNr a/readline.c b/readline.c
+--- a/readline.c	2010-07-25 17:07:40.000000000 -0400
++++ b/readline.c	2013-04-17 20:38:42.637674309 -0400
+@@ -1154,11 +1159,19 @@
+   rl_bind_keyseq_if_unbound ("\033OH", rl_beg_of_line);
+   rl_bind_keyseq_if_unbound ("\033OF", rl_end_of_line);
+ 
+-#if defined (__MINGW32__)
++#if defined (__MINGW32__) && ! defined (_MSC_VER)
+   rl_bind_keyseq_if_unbound ("\340H", rl_get_previous_history);
+   rl_bind_keyseq_if_unbound ("\340P", rl_get_next_history);
+   rl_bind_keyseq_if_unbound ("\340M", rl_forward_char);
+   rl_bind_keyseq_if_unbound ("\340K", rl_backward_char);
++  rl_bind_keyseq_if_unbound ("\340G", rl_beg_of_line);
++  rl_bind_keyseq_if_unbound ("\340O", rl_end_of_line);
++  rl_bind_keyseq_if_unbound ("\340S", rl_delete);
++#endif
++
++#ifdef _MSC_VER
++  rl_bind_keyseq_if_unbound ("\033[3~", rl_delete);
++  rl_bind_keyseq_if_unbound ("\033[X", _rl_update_terminal_size);
+ #endif
+ 
+   _rl_keymap = xkeymap;