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/screen.c b/src/screen.c
index 7133600..ad548d2 100644
--- a/src/screen.c
+++ b/src/screen.c
@@ -2788,11 +2788,10 @@
&& 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