patch 7.4.1995
Problem: GUI: cursor drawn in wrong place if a timer callback causes a
screen update. (David Samvelyan)
Solution: Also redraw the cursor when it's blinking and on.
diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c
index 620c892..39b918a 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -818,6 +818,12 @@
return blink_state != BLINK_NONE;
}
+ int
+gui_mch_is_blink_off(void)
+{
+ return blink_state == BLINK_OFF;
+}
+
void
gui_mch_set_blinking(long waittime, long on, long off)
{