ref: 1dc9cf5811c319e46d01dbb0bf242d806d0a799c
parent: a7b1697b1cd450589141b88862142dafc72e0b74
author: Simon Tatham <anakin@pobox.com>
date: Wed Sep 1 07:46:51 EDT 2004
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]
--- a/gtk.c
+++ b/gtk.c
@@ -415,6 +415,8 @@
static void window_destroy(GtkWidget *widget, gpointer data)
{+ frontend *fe = (frontend *)data;
+ deactivate_timer(fe);
gtk_main_quit();
}