comparison src/version.c @ 19824:09a621bdb0bc v8.2.0468

patch 8.2.0468: GUI: pixel dust with some fonts and characters Commit: https://github.com/vim/vim/commit/7c003aa314337ce732e18c541fa93d71cafedf03 Author: Bram Moolenaar <Bram@vim.org> Date: Sat Mar 28 20:44:41 2020 +0100 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)
author Bram Moolenaar <Bram@vim.org>
date Sat, 28 Mar 2020 20:45:04 +0100
parents fc3cdc819d80
children 293a22b677a8
comparison
equal deleted inserted replaced
19823:fafab4bec82f 19824:09a621bdb0bc
736 NULL 736 NULL
737 }; 737 };
738 738
739 static int included_patches[] = 739 static int included_patches[] =
740 { /* Add new patch number below this line */ 740 { /* Add new patch number below this line */
741 /**/
742 468,
741 /**/ 743 /**/
742 467, 744 467,
743 /**/ 745 /**/
744 466, 746 466,
745 /**/ 747 /**/