patch 9.0.0720: MS-Windows GUI may have pixel dust from antialiasing

Problem: MS-Windows GUI may have pixel dust from antialiasing. Solution: When a character changes also redraw the next one. (issue #8532)
2022-10-11 12:48:44 +01:00
parent 56564964e6
commit 0c502d2e70
2 changed files with 24 additions and 0 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -699,6 +699,8 @@ static char *(features[]) =

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