updated for version 7.3.376

Problem:    Win32: Toolbar repainting does not work when the mouse pointer
            hovers over a button.
Solution:   Call DefWindowProc() when not hanlding an event. (Sergiu Dotenco)

diff --git a/src/gui_w32.c b/src/gui_w32.c
index 4a34cb4f2dd36968023a9aa773033a7325457bd9..c36f73d33ebc71ca8f0a73ac9d3e9dc879a42f1b 100644 (file)
--- a/src/gui_w32.c
+++ b/src/gui_w32.c
@@ -1101,7 +1101,7 @@ _WndProc(
        return MyWindowProc(hwnd, uMsg, wParam, lParam);
     }
 
-    return 1;
+    return DefWindowProc(hwnd, uMsg, wParam, lParam);
 }
 
 /*

diff --git a/src/version.c b/src/version.c
index e1dd495186fba9643a94e5dbc92acb179dd9d89b..258a29f64d0958b827030f42b3f04ae6fb28698b 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -714,6 +714,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    376,
 /**/
     375,
 /**/