changes

gui.cc

@@ -21,10 +21,9 @@ extern GtkBuilder *_builder_;			// work around for threads
 //
 
 gboolean cb_window_delete_event (GtkWidget *widget, GdkEvent  *event, gpointer   data) {
-//	GtkBuilder *builder = (GtkBuilder *) data;
+	gtk_main_quit();
-
 	return FALSE;
-}
+};
 
 void cb_window_show (GtkWidget *widget, gpointer data) {
 //	GtkBuilder *builder = (GtkBuilder *) data;
@@ -42,6 +41,6 @@ void displayerror (std::string error) {
 	gtk_window_set_title(GTK_WINDOW(dialog), "Error");
 	gtk_dialog_run(GTK_DIALOG(dialog));
 	gtk_widget_destroy(dialog);
-}
+};