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().

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

diff --git a/src/version.c b/src/version.c
index a693050318184c3e96df32d39acbc100e0b65d91..373f7a8e0ca3989d02c1f553b837cb375d8777cb 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -799,6 +799,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    700,
 /**/
     699,
 /**/