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]
This commit is contained in:
Simon Tatham
2004-09-06 15:17:59 +00:00
parent 1dc9cf5811
commit f99b527b54

4
gtk.c
View File

@ -231,6 +231,8 @@ void end_draw(frontend *fe)
static void destroy(GtkWidget *widget, gpointer data) static void destroy(GtkWidget *widget, gpointer data)
{ {
frontend *fe = (frontend *)data;
deactivate_timer(fe);
gtk_main_quit(); gtk_main_quit();
} }
@ -415,8 +417,6 @@ void activate_timer(frontend *fe)
static void window_destroy(GtkWidget *widget, gpointer data) static void window_destroy(GtkWidget *widget, gpointer data)
{ {
frontend *fe = (frontend *)data;
deactivate_timer(fe);
gtk_main_quit(); gtk_main_quit();
} }