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();
}
}
diff --git a/src/screen.c b/src/screen.c
index 7c4ee30..04a0da9 100644
--- a/src/screen.c
+++ b/src/screen.c
@@ -757,7 +757,7 @@
if (gui.in_use)
{
out_flush(); /* required before updating the cursor */
- if (did_one)
+ if (did_one && !gui_mch_is_blink_off())
{
/* Put the GUI position where the cursor was, gui_update_cursor()
* uses that. */
diff --git a/src/version.c b/src/version.c
index 1a7ff06..67f8b65 100644
--- a/src/version.c
+++ b/src/version.c
@@ -759,6 +759,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 2025,
+/**/
2024,
/**/
2023,