From f49650a7aca4c2d754b1778d47b72ef395f3050c Mon Sep 17 00:00:00 2001
From: simon <simon@cda61777-01e9-0310-a592-d414129be87e>
Date: Mon, 6 Sep 2004 15:17:59 +0000
Subject: [PATCH] Move the deactivate_timer() call from window_destroy() into
 destroy(). I'm not sure how it cured the crash-on-quit bug, since it was in
 completely the wrong place!

git-svn-id: svn://svn.tartarus.org/sgt/puzzles@4533 cda61777-01e9-0310-a592-d414129be87e
---
 gtk.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gtk.c b/gtk.c
index 9643d19..72fdcdd 100644
--- a/gtk.c
+++ b/gtk.c
@@ -231,6 +231,8 @@ void end_draw(frontend *fe)
 
 static void destroy(GtkWidget *widget, gpointer data)
 {
+    frontend *fe = (frontend *)data;
+    deactivate_timer(fe);
     gtk_main_quit();
 }
 
@@ -415,8 +417,6 @@ void activate_timer(frontend *fe)
 
 static void window_destroy(GtkWidget *widget, gpointer data)
 {
-    frontend *fe = (frontend *)data;
-    deactivate_timer(fe);
     gtk_main_quit();
 }
 
-- 
2.11.0