# HG changeset patch # User Bram Moolenaar # Date 1355658639 -3600 # Node ID 699f8d8f096d4627f97e8d3bcf64b8634a484c26 # Parent 27bfb167433347a1758ddf662d04c23cfa99dd64 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 --- 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 --- a/src/version.c +++ b/src/version.c @@ -726,6 +726,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 762, +/**/ 761, /**/ 760,