diff options
| author | Roel Spilker <r.spilker@gmail.com> | 2017-05-15 22:23:36 +0200 |
|---|---|---|
| committer | Roel Spilker <r.spilker@gmail.com> | 2017-05-15 22:23:36 +0200 |
| commit | 6f4effe84a530a9bcae4e81f853e139c10b42994 (patch) | |
| tree | b4b7739567ba4fa49f1c9d296cda787ad3d09421 | |
| parent | c640caa3f922daa4656ef161eeb30fc35225da21 (diff) | |
| download | lombok-6f4effe84a530a9bcae4e81f853e139c10b42994.tar.gz lombok-6f4effe84a530a9bcae4e81f853e139c10b42994.tar.bz2 lombok-6f4effe84a530a9bcae4e81f853e139c10b42994.zip | |
[installer] set minimum sizes, possible fix for 1383
| -rw-r--r-- | src/installer/lombok/installer/InstallerGUI.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/installer/lombok/installer/InstallerGUI.java b/src/installer/lombok/installer/InstallerGUI.java index b96fec9c..231e2d3c 100644 --- a/src/installer/lombok/installer/InstallerGUI.java +++ b/src/installer/lombok/installer/InstallerGUI.java @@ -171,6 +171,7 @@ public class InstallerGUI { container.add(buttonBar, constraints); container.setPreferredSize(new Dimension(INSTALLER_WINDOW_WIDTH, 415)); + container.setMinimumSize(new Dimension(INSTALLER_WINDOW_WIDTH, 415)); return container; } @@ -195,6 +196,7 @@ public class InstallerGUI { JLabel title; container.add(title = new JLabel(SUCCESS_TITLE), constraints); title.setPreferredSize(new Dimension(INSTALLER_WINDOW_WIDTH - 82, 20)); + title.setMinimumSize(new Dimension(INSTALLER_WINDOW_WIDTH - 82, 20)); constraints.gridy = 1; constraints.insets = new Insets(8, 0, 0, 16); @@ -296,6 +298,7 @@ public class InstallerGUI { container.add(buttonBar, constraints); container.setPreferredSize(new Dimension(INSTALLER_WINDOW_WIDTH, 415)); + container.setMinimumSize(new Dimension(INSTALLER_WINDOW_WIDTH, 415)); return container; } @@ -319,6 +322,7 @@ public class InstallerGUI { constraints.gridy = 2; container.add(example, constraints); container.setPreferredSize(new Dimension(INSTALLER_WINDOW_WIDTH, 105)); + container.setMinimumSize(new Dimension(INSTALLER_WINDOW_WIDTH, 105)); return container; } @@ -507,6 +511,7 @@ public class InstallerGUI { container.add(uninstallPlaceholder, constraints); container.setPreferredSize(new Dimension(INSTALLER_WINDOW_WIDTH, 296)); + container.setMinimumSize(new Dimension(INSTALLER_WINDOW_WIDTH, 296)); return container; } |