updated for version 7.3.762

Problem:    On some systems the tabline is not redrawn.
Solution:   Call RedrawWindow(). (Charles Peacech)

diff --git a/src/gui_w48.c b/src/gui_w48.c
index a70fb259ea5d1dc436faaa789cd35bf2faba05d7..1d380fbf930e08b03511fd0e4acb82bba0a2d902 100644 (file)
--- a/src/gui_w48.c
+++ b/src/gui_w48.c
@@ -2527,8 +2527,10 @@ gui_mch_update_tabline(void)
     if (TabCtrl_GetCurSel(s_tabhwnd) != curtabidx)
        TabCtrl_SetCurSel(s_tabhwnd, curtabidx);
 
-    /* Re-enable redraw. This should trigger a repaint. */
+    /* Re-enable redraw and redraw. */
     SendMessage(s_tabhwnd, WM_SETREDRAW, (WPARAM)TRUE, 0);
+    RedrawWindow(s_tabhwnd, NULL, NULL,
+                   RDW_ERASE | RDW_FRAME | RDW_INVALIDATE | RDW_ALLCHILDREN);
 }
 
 /*

diff --git a/src/version.c b/src/version.c
index 5e7b397068c448d3cea2a2f2aec43d77ed104bb8..012ae87e3dae9499f163d72b609f71559f15a5e6 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -725,6 +725,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    762,
 /**/
     761,
 /**/