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
index 05295bf..1cb47b4 100644
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -732,7 +732,10 @@
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
index b74ea98..f0ef62c 100644
--- a/src/version.c
+++ b/src/version.c
@@ -735,6 +735,8 @@
static int included_patches[] =
{ /* Add new patch number below this line */
/**/
+ 252,
+/**/
251,
/**/
250,