commit 04b4e1a42409f81d65ae4801ac867dc0bba3d7b8
author Bram Moolenaar <Bram@vim.org> Sun Jan 06 22:22:07 2019 +0100
committer Bram Moolenaar <Bram@vim.org> Sun Jan 06 22:22:07 2019 +0100
tree cc10bd0d133d254834559205343da36da66dbf74
parent 6d11f3b8919bfbb6d5d51e6d280a2e685fb883b8

patch 8.1.0700: using "gt" sometimes does not redraw a tab

Problem:    Using "gt" sometimes does not redraw a tab. (Jason Franklin)
Solution:   Always set must_redraw in redraw_all_later().

src/screen.c

diff --git a/src/screen.c b/src/screen.c
index adc62e1..e9405b4 100644
--- a/src/screen.c
+++ b/src/screen.c
@@ -238,6 +238,9 @@
     {
 	redraw_win_later(wp, type);
     }
+    // This may be needed when switching tabs.
+    if (must_redraw < type)
+	must_redraw = type;
 }
 
 /*

src/version.c

diff --git a/src/version.c b/src/version.c
index a693050..373f7a8 100644
--- a/src/version.c
+++ b/src/version.c
@@ -800,6 +800,8 @@
 static int included_patches[] =
 {   /* Add new patch number below this line */
 /**/
+    700,
+/**/
     699,
 /**/
     698,