shithub: puzzles

Info  •  Files  •  Log  •  Branches

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]

--- a/gtk.c

+++ b/gtk.c

@@ -231,6 +231,8 @@

 static void destroy(GtkWidget *widget, gpointer data)

 {

+    frontend *fe = (frontend *)data;

+    deactivate_timer(fe);

     gtk_main_quit();

 }

@@ -415,8 +417,6 @@

 static void window_destroy(GtkWidget *widget, gpointer data)

 {

-    frontend *fe = (frontend *)data;

-    deactivate_timer(fe);

     gtk_main_quit();

 }