# HG changeset patch # User John W. Eaton # Date 1369777325 14400 # Node ID 9e62095edc58a7b7ac31842d107d0e37c37d7f86 # Parent 4f9b72cf7ee733646a4731f3170163581d623dd9 patch for readline slow pasting problem diff -r 4f9b72cf7ee7 -r 9e62095edc58 src/readline-1-paste.patch --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/src/readline-1-paste.patch Tue May 28 17:42:05 2013 -0400 @@ -0,0 +1,30 @@ +diff -u a/input.c b/readline-6.2/input.c +--- a/input.c 2010-05-30 18:33:01.000000000 -0400 ++++ b/input.c 2012-06-25 21:08:42.000000000 -0400 +@@ -410,5 +412,5 @@ + rl_read_key () + { +- int c; ++ int c, r; + + rl_key_sequence_length++; +@@ -430,12 +432,16 @@ + while (rl_event_hook) + { +- if (rl_gather_tyi () < 0) /* XXX - EIO */ ++ if (rl_get_char (&c) != 0) ++ break; ++ ++ if ((r = rl_gather_tyi ()) < 0) /* XXX - EIO */ + { + rl_done = 1; + return ('\n'); + } ++ else if (r == 1) /* read something */ ++ continue; ++ + RL_CHECK_SIGNALS (); +- if (rl_get_char (&c) != 0) +- break; + if (rl_done) /* XXX - experimental */ + return ('\n');