From 1dc9cf5811c319e46d01dbb0bf242d806d0a799c Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Wed, 1 Sep 2004 11:46:51 +0000
Subject: [PATCH] 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]
---
 gtk.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gtk.c b/gtk.c
index b2655b1..9643d19 100644
--- 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();
 }