Problem: In the GUI the cursor may flicker.
Solution: Check the cmd_silent flag before updating the cursor shape.
(Hirohito Higashi, closes #1637)
}
#ifdef FEAT_GUI
/* may unshow different cursor shape */
- if (gui.in_use && shape_changed)
- gui_update_cursor(TRUE, FALSE);
+ if (gui.in_use)
+ {
+ if (cmd_silent)
+ gui_dont_update_cursor(TRUE);
+ else
+ gui_can_update_cursor();
+
+ if (shape_changed)
+ gui_update_cursor(TRUE, FALSE);
+ }
#endif
--vgetc_busy;
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 626,
/**/
625,
/**/