diff options
| author | Bram Moolenaar <Bram@vim.org> | 2020-03-28 20:44:41 +0100 |
|---|---|---|
| committer | Bram Moolenaar <Bram@vim.org> | 2020-03-28 20:44:41 +0100 |
| commit | 7c003aa314337ce732e18c541fa93d71cafedf03 (patch) | |
| tree | c7e2f687fd9daf56fdb2e42493a7dc6b8e00b3b5 /CONTRIBUTING.md | |
| parent | 33fa29cf74ea314f89cfa58ec9ffc2d6781a59d4 (diff) | |
| download | vim-git-7c003aa314337ce732e18c541fa93d71cafedf03.tar.gz | |
patch 8.2.0468: GUI: pixel dust with some fonts and charactersv8.2.0468
Problem: GUI: pixel dust with some fonts and characters.
Solution: Always redraw the character before the cursor. (Nir Lichtman,
closes #5549, closes #5856)
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions