From 14e28811b3c37beaf310ab755cd7e0a1dc7f3395 Mon Sep 17 00:00:00 2001 From: Bram Moolenaar Date: Sun, 16 Dec 2012 12:50:39 +0100 Subject: updated for version 7.3.762 Problem: On some systems the tabline is not redrawn. Solution: Call RedrawWindow(). (Charles Peacech) --- src/gui_w48.c | 4 +++- src/version.c | 2 ++ 2 files changed, 5 insertions(+), 1 deletion(-) (limited to 'src') diff --git a/src/gui_w48.c b/src/gui_w48.c index a70fb259e..1d380fbf9 100644 --- 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 5e7b39706..012ae87e3 100644 --- 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, /**/ -- cgit v1.2.1