summaryrefslogtreecommitdiff
path: root/pdf-over-gui
diff options
context:
space:
mode:
authorJakob Heher <jakob.heher@iaik.tugraz.at>2022-11-04 10:47:03 +0100
committerJakob Heher <jakob.heher@iaik.tugraz.at>2022-11-04 10:47:03 +0100
commitc9fd54f595c7bcd5097d0ff086e3a42e5d0ddd8c (patch)
tree13713fc6befdd8f00d8baaa5d61188b268bb2690 /pdf-over-gui
parent460549abaed6ecb07b95e0e47b0083a963aeceb9 (diff)
downloadpdf-over-c9fd54f595c7bcd5097d0ff086e3a42e5d0ddd8c.tar.gz
pdf-over-c9fd54f595c7bcd5097d0ff086e3a42e5d0ddd8c.tar.bz2
pdf-over-c9fd54f595c7bcd5097d0ff086e3a42e5d0ddd8c.zip
dispose main window on close (how did pdf-over even terminate before?)
Diffstat (limited to 'pdf-over-gui')
-rw-r--r--pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java1
1 files changed, 1 insertions, 0 deletions
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();
}
});