patch 8.2.4803: WinScrolled not always triggered when scrolling with mouse

Problem: WinScrolled not always triggered when scrolling with the mouse. Solution: Add calls to may_trigger_winscrolled(). (closes #10246)
2022-04-21 22:52:11 +01:00
parent 7851c69a12
commit 66e13aedc7
3 changed files with 36 additions and 1 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 */
+/**/
+    4803,
 /**/
    4802,
 /**/