diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/gui_w48.c | 4 | ||||
-rw-r--r-- | src/version.c | 2 |
2 files changed, 5 insertions, 1 deletions
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 @@ -726,6 +726,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 762, +/**/ 761, /**/ 760, |