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!

[originally from svn r4533]

diff --git a/gtk.c b/gtk.c
index 9643d19e27e1d8b7c6764b097434ee100bd963ea..72fdcdd832e1de7119c4a906a28ae7898aa1bd0e 100644 (file)
--- 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();
 }