#include "gtk_structs.h"

void on_destroy(GtkWidget *widget, gpointer data ){
	gtk_main_quit();
}