patch 7.4.2025
Problem: The cursor blinking stops or is irregular when receiving date over
a channel and writing it in a buffer, and when updating the status
line. (Ramel Eshed)
Solution: Make it a bit better by flushing GUI output. Don't redraw the
cursor after updating the screen if the blink state is off.
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index 39b918a..9437ed3 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -867,7 +867,10 @@
blink_timer = 0;
}
if (blink_state == BLINK_OFF)
+ {
gui_update_cursor(TRUE, FALSE);
+ gui_mch_flush();
+ }
blink_state = BLINK_NONE;
}
@@ -902,6 +905,7 @@
(GtkFunction) blink_cb, NULL);
#endif
}
+ gui_mch_flush();
return FALSE; /* don't happen again */
}
@@ -934,6 +938,7 @@
#endif
blink_state = BLINK_ON;
gui_update_cursor(TRUE, FALSE);
+ gui_mch_flush();
}
}