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 a70fb25..1d380fb 100644
--- a/src/gui_w48.c
+++ b/src/gui_w48.c
@@ -2527,8 +2527,10 @@
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 5e7b397..012ae87 100644
--- a/src/version.c
+++ b/src/version.c
@@ -726,6 +726,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 762,
+/**/
761,
/**/
760,