updated for version 7.3.453

Problem:    Pasting in the command line is slow.
Solution:   Don't redraw if there is another character to read. (Dominique
	    Pelle)
This commit is contained in:
Bram Moolenaar
2012-02-22 17:58:04 +01:00
parent b1e0d9f36a
commit 24acdbb8c4
2 changed files with 7 additions and 2 deletions
+5 -2
View File
@@ -1852,8 +1852,11 @@ cmdline_changed:
# endif
)
/* Always redraw the whole command line to fix shaping and
* right-left typing. Not efficient, but it works. */
redrawcmd();
* right-left typing. Not efficient, but it works.
* Do it only when there are no characters left to read
* to avoid useless intermediate redraws. */
if (vpeekc() == NUL)
redrawcmd();
#endif
}
+2
View File
@@ -714,6 +714,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
453,
/**/
452,
/**/