patch 8.2.4807: processing key eveints in Win32 GUI is not ideal

Problem: Processing key eveints in Win32 GUI is not ideal. Solution: Improve processing of key events. (closes #10155)
2022-04-22 22:45:52 +01:00
parent 53ef573148
commit 77fc0b02e5
2 changed files with 85 additions and 60 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 */
+/**/
+    4807,
 /**/
    4806,
 /**/