From c9fd54f595c7bcd5097d0ff086e3a42e5d0ddd8c Mon Sep 17 00:00:00 2001
From: Jakob Heher <jakob.heher@iaik.tugraz.at>
Date: Fri, 4 Nov 2022 10:47:03 +0100
Subject: dispose main window on close (how did pdf-over even terminate
 before?)

---
 pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java b/pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java
index 2ce60634..9620cd0b 100644
--- a/pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java
+++ b/pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java
@@ -235,6 +235,7 @@ public class MainWindow {
 				} catch (IOException e1) {
 					log.error("Error saving configuration", e);
 				}
+				getShell().dispose();
 			}
 		});
 
-- 
cgit v1.2.3