static void destroy(GtkWidget *widget, gpointer data)
{
+ frontend *fe = (frontend *)data;
+ deactivate_timer(fe);
gtk_main_quit();
}
static void window_destroy(GtkWidget *widget, gpointer data)
{
- frontend *fe = (frontend *)data;
- deactivate_timer(fe);
gtk_main_quit();
}