# HG changeset patch # User Bram Moolenaar # Date 1396811325 -7200 # Node ID a43a8262e1ceffc393625c53a1ffed9e6bcaba62 # Parent ee674aaf65a4021e8d41141641dbbc55745b1a74 updated for version 7.4.252 Problem: Critical error in GTK, removing timer twice. Solution: Clear the timer after removing it. (James McCoy) diff --git a/src/gui_gtk_x11.c b/src/gui_gtk_x11.c --- a/src/gui_gtk_x11.c +++ b/src/gui_gtk_x11.c @@ -732,7 +732,10 @@ blink_cb(gpointer data UNUSED) gui_mch_start_blink(void) { if (blink_timer) + { gtk_timeout_remove(blink_timer); + blink_timer = 0; + } /* Only switch blinking on if none of the times is zero */ if (blink_waittime && blink_ontime && blink_offtime && gui.in_focus) { diff --git a/src/version.c b/src/version.c --- a/src/version.c +++ b/src/version.c @@ -735,6 +735,8 @@ static char *(features[]) = static int included_patches[] = { /* Add new patch number below this line */ /**/ + 252, +/**/ 251, /**/ 250,