Problem: Pasting in the command line is slow.
Solution: Don't redraw if there is another character to read. (Dominique
Pelle)
# 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
}
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 453,
/**/
452,
/**/