commit f45d747ebf920940b041f5c75c2bfdffb6b670ae
author Bram Moolenaar <Bram@vim.org> Sun Sep 30 18:22:26 2018 +0200
committer Bram Moolenaar <Bram@vim.org> Sun Sep 30 18:22:26 2018 +0200
tree 6a6f590502f34925c0c8962e844882c49839c36a
parent d3dc062160b52f2a01900a8b8badb531fb8b3f16

patch 8.1.0442: GUI: cursor not drawn after ":redraw | sleep"

Problem:    GUI: Cursor not drawn after ":redraw | sleep".
Solution:   Flush the output. (closes #3496)

src/ex_docmd.c

diff --git a/src/ex_docmd.c b/src/ex_docmd.c
index 82904ee..25d70c4 100644
--- a/src/ex_docmd.c
+++ b/src/ex_docmd.c
@@ -9272,7 +9272,7 @@
     long	wait_now;
 
     cursor_on();
-    out_flush();
+    out_flush_cursor(FALSE, FALSE);
     for (done = 0; !got_int && done < msec; done += wait_now)
     {
 	wait_now = msec - done > 1000L ? 1000L : msec - done;

src/version.c

diff --git a/src/version.c b/src/version.c
index c81491d..f3a72ec 100644
--- a/src/version.c
+++ b/src/version.c
@@ -795,6 +795,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    442,
+/**/
     441,
 /**/
     440,