diff options
| author | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-11-04 10:47:03 +0100 |
|---|---|---|
| committer | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-11-04 10:47:03 +0100 |
| commit | c9fd54f595c7bcd5097d0ff086e3a42e5d0ddd8c (patch) | |
| tree | 13713fc6befdd8f00d8baaa5d61188b268bb2690 /pdf-over-gui/src/main | |
| parent | 460549abaed6ecb07b95e0e47b0083a963aeceb9 (diff) | |
| download | pdf-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/src/main')
| -rw-r--r-- | pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java | 1 |
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(); } }); |