| commit | 0c502d2e7031611788c301c7da0896f0fd9515fd | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Tue Oct 11 12:48:44 2022 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Tue Oct 11 12:48:44 2022 +0100 |
| tree | d5118f7ab758a733c62b2db10e26481bbaff35b4 | |
| parent | 56564964e6d0956c29687e8a10cb94fe42f5c097 [diff] [blame] |
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)
diff --git a/src/version.c b/src/version.c index fadd4a3..87259de 100644 --- a/src/version.c +++ b/src/version.c
@@ -700,6 +700,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 720, +/**/ 719, /**/ 718,