patch 8.2.4874: Win32 GUI: horizontal scroll wheel not handled properly

Problem: Win32 GUI: horizontal scroll wheel not handled properly. Solution: Also handle WM_MOUSEHWHEEL. (closes #10309)
2022-05-05 19:23:07 +01:00
parent 505ed0c38f
commit 365d8f76b5
2 changed files with 84 additions and 34 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -746,6 +746,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    4874,
 /**/
    4873,
 /**/