1
0
forked from aniani/vim

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)
This commit is contained in:
Bram Moolenaar
2020-03-28 20:44:41 +01:00
parent 33fa29cf74
commit 7c003aa314
4 changed files with 17 additions and 22 deletions

View File

@@ -738,6 +738,8 @@ static char *(features[]) =
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
468,
/**/
467,
/**/