diff options
| author | Bram Moolenaar <Bram@vim.org> | 2017-12-05 21:32:33 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2017-12-05 21:32:33 +0100 |
| commit | 23c1b2b018c8121ca5fcc247e37966428bf8ca66 (patch) | |
| tree | e5dce7f458be881b4d85ab569096b3318e1803ab | |
| parent | 415a6939a4e8d4e26b4af26c24eb75243d3a2756 (diff) | |
patch 8.0.1376: cursor in terminal not always updatedv8.0.1376
Problem: Cursor in terminal not always updated.
Solution: Call gui_mch_flush(). (Ken Takata)
| -rw-r--r-- | src/terminal.c | 3 | ||||
| -rw-r--r-- | src/version.c | 2 |
2 files changed, 5 insertions, 0 deletions
diff --git a/src/terminal.c b/src/terminal.c index 5a2ebf8655..744b7dedfb 100644 --- a/src/terminal.c +++ b/src/terminal.c @@ -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 } } diff --git a/src/version.c b/src/version.c index c41aed0d6c..4361c384f9 100644 --- a/src/version.c +++ b/src/version.c @@ -772,6 +772,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 1376, +/**/ 1375, /**/ 1374, |