Problem: Screen updating still slow when 'cursorline' is set.
Solution: Fix setting last_cursorline.
// in the same window.
redrawWinline(wp, last_cursorline, FALSE);
redrawWinline(wp, wp->w_cursor.lnum, FALSE);
- last_cursorline = wp->w_cursor.lnum;
redraw_win_later(wp, VALID);
}
else
#endif
redraw_win_later(wp, SOME_VALID);
+#ifdef FEAT_SYN_HL
+ last_cursorline = wp->w_cursor.lnum;
+#endif
}
}
static int included_patches[] =
{ /* Add new patch number below this line */
+/**/
+ 373,
/**/
372,
/**/