Deactivate the timer when we destroy the puzzle window. Otherwise it

might run again in mid-shutdown and cause chaos, if you hit `q' in
the middle of an animated sequence such as the Net finishing flash.

[originally from svn r4525]

diff --git a/gtk.c b/gtk.c
index b2655b1284ea1c25dfc399fb838bd04b63ac2366..9643d19e27e1d8b7c6764b097434ee100bd963ea 100644 (file)
--- a/gtk.c
+++ b/gtk.c
@@ -415,6 +415,8 @@ void activate_timer(frontend *fe)
 
 static void window_destroy(GtkWidget *widget, gpointer data)
 {
+    frontend *fe = (frontend *)data;
+    deactivate_timer(fe);
     gtk_main_quit();
 }