Permalink
Browse files

patch 8.0.1376: cursor in terminal not always updated

Problem:    Cursor in terminal not always updated.
Solution:   Call gui_mch_flush(). (Ken Takata)
  • Loading branch information...
brammool committed Dec 5, 2017
1 parent 415a693 commit 23c1b2b018c8121ca5fcc247e37966428bf8ca66
Showing with 5 additions and 0 deletions.
  1. +3 −0 src/terminal.c
  2. +2 −0 src/version.c
View
@@ -675,7 +675,10 @@ update_cursor(term_T *term, int redraw)
out_flush();
#ifdef FEAT_GUI
if (gui.in_use)
{
gui_update_cursor(FALSE, FALSE);
gui_mch_flush();
}
#endif
}
}
View
@@ -771,6 +771,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
1376,
/**/
1375,
/**/

0 comments on commit 23c1b2b

Please sign in to comment.