| commit | 7c003aa314337ce732e18c541fa93d71cafedf03 | [log] [tgz] |
|---|---|---|
| author | Bram Moolenaar <Bram@vim.org> | Sat Mar 28 20:44:41 2020 +0100 |
| committer | Bram Moolenaar <Bram@vim.org> | Sat Mar 28 20:44:41 2020 +0100 |
| tree | c7e2f687fd9daf56fdb2e42493a7dc6b8e00b3b5 | |
| parent | 33fa29cf74ea314f89cfa58ec9ffc2d6781a59d4 [diff] [blame] |
patch 8.2.0468: GUI: pixel dust with some fonts and characters
Problem: GUI: pixel dust with some fonts and characters.
Solution: Always redraw the character before the cursor. (Nir Lichtman,
closes #5549, closes #5856)
diff --git a/src/version.c b/src/version.c index 863f5ee..a4ffae0 100644 --- a/src/version.c +++ b/src/version.c
@@ -739,6 +739,8 @@ static int included_patches[] = { /* Add new patch number below this line */ /**/ + 468, +/**/ 467, /**/ 466,