diff options
| author | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-07-08 14:37:52 +0200 |
|---|---|---|
| committer | Jakob Heher <jakob.heher@iaik.tugraz.at> | 2022-07-08 14:38:08 +0200 |
| commit | 4d0eef628cedbcac69f41fd92cdbeb4c25189a34 (patch) | |
| tree | 3df2769f0c78c6a8be32ff71b411a9bec4fef096 /pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java | |
| parent | 3a419fea87c3ccebd5d437a151d1dd66df82c5bf (diff) | |
| download | pdf-over-4d0eef628cedbcac69f41fd92cdbeb4c25189a34.tar.gz pdf-over-4d0eef628cedbcac69f41fd92cdbeb4c25189a34.tar.bz2 pdf-over-4d0eef628cedbcac69f41fd92cdbeb4c25189a34.zip | |
config cleanup
Diffstat (limited to 'pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java')
| -rw-r--r-- | pdf-over-gui/src/main/java/at/asit/pdfover/gui/MainWindow.java | 2 |
1 files changed, 1 insertions, 1 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 3c957d40..16fb05f3 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 @@ -228,7 +228,7 @@ public class MainWindow { @Override public void shellClosed(ShellEvent e) { log.debug("Closing main window"); - MainWindow.this.stateMachine.configProvider.setMainWindowSize(getShell().getSize()); + MainWindow.this.stateMachine.configProvider.setMainWindowSizePersistent(getShell().getSize()); try { MainWindow.this.stateMachine.configProvider.saveToDisk(); } catch (IOException e1) { |