patch 8.1.2254: MS-Windows: mouse scroll wheel doesn't work in popup

Problem: MS-Windows: mouse scroll wheel doesn't work in popup. Solution: Handle mouse wheel events separately. (closes #5138)
2019-11-04 22:52:12 +01:00
parent ad4de52510
commit 0630bb6580
4 changed files with 55 additions and 15 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -741,6 +741,8 @@ static char *(features[]) =

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