diff options
| author | 2021-03-06 11:59:43 +0100 | |
|---|---|---|
| committer | 2021-03-06 11:59:43 +0100 | |
| commit | 24928a30f6a51a9c570f6d91227a439bb47284e8 (patch) | |
| tree | 3b1b839a81901f7599ab2c633481a43f19ea4275 /enigma-swing/src | |
| parent | Bump version (diff) | |
| download | enigma-24928a30f6a51a9c570f6d91227a439bb47284e8.tar.gz enigma-24928a30f6a51a9c570f6d91227a439bb47284e8.tar.xz enigma-24928a30f6a51a9c570f6d91227a439bb47284e8.zip | |
Fix right panel width being reset on ui update
Diffstat (limited to 'enigma-swing/src')
| -rw-r--r-- | enigma-swing/src/main/java/cuchaz/enigma/gui/Gui.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/enigma-swing/src/main/java/cuchaz/enigma/gui/Gui.java b/enigma-swing/src/main/java/cuchaz/enigma/gui/Gui.java index 17e1cbcf..4c29a208 100644 --- a/enigma-swing/src/main/java/cuchaz/enigma/gui/Gui.java +++ b/enigma-swing/src/main/java/cuchaz/enigma/gui/Gui.java | |||
| @@ -923,6 +923,10 @@ public class Gui implements LanguageChangeListener { | |||
| 923 | splitRight.setRightComponent(logSplit); | 923 | splitRight.setRightComponent(logSplit); |
| 924 | logSplit.setLeftComponent(tabs); | 924 | logSplit.setLeftComponent(tabs); |
| 925 | } | 925 | } |
| 926 | |||
| 927 | if (UiConfig.getLayout().length >= 4) { | ||
| 928 | splitRight.setDividerLocation(UiConfig.getLayout()[2]); | ||
| 929 | } | ||
| 926 | } | 930 | } |
| 927 | 931 | ||
| 928 | @Override | 932 | @Override |