From 3d37cd932e70cbc06373c456ee19374074d0fc17 Mon Sep 17 00:00:00 2001
From: Steffen Pohle <steffen@gulpe.de>
Date: Tue, 7 Sep 2021 00:20:23 +0200
Subject: [PATCH] changes

---
 gui.cc | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/gui.cc b/gui.cc
index 06bbe70..a3b9744 100644
--- a/gui.cc
+++ b/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);
-}
+};