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 /src/screen.c | |
| parent | 33fa29cf74ea314f89cfa58ec9ffc2d6781a59d4 (diff) | |
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 'src/screen.c')
| -rw-r--r-- | src/screen.c | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/src/screen.c b/src/screen.c index 7133600397..ad548d241f 100644 --- a/src/screen.c +++ b/src/screen.c @@ -2788,11 +2788,10 @@ give_up: && ScreenLines != NULL && old_Rows != Rows) { - (void)gui_redraw_block(0, 0, (int)Rows - 1, (int)Columns - 1, 0); - /* - * Adjust the position of the cursor, for when executing an external - * command. - */ + gui_redraw_block(0, 0, (int)Rows - 1, (int)Columns - 1, 0); + + // Adjust the position of the cursor, for when executing an external + // command. if (msg_row >= Rows) // Rows got smaller msg_row = Rows - 1; // put cursor at last row else if (Rows > old_Rows) // Rows got bigger |