1022 |
if (preferredSize != null) |
if (preferredSize != null) |
1023 |
prefSize = preferredSize; |
prefSize = preferredSize; |
1024 |
|
|
1025 |
if (ui != null) |
else if (ui != null) |
1026 |
{ |
{ |
1027 |
Dimension s = ui.getPreferredSize(this); |
Dimension s = ui.getPreferredSize(this); |
1028 |
if (s != null) |
if (s != null) |
1029 |
prefSize = s; |
prefSize = s; |
1030 |
} |
} |
1031 |
|
|
1032 |
if (prefSize == null) |
if (prefSize == null) |
1033 |
prefSize = super.getPreferredSize(); |
prefSize = super.getPreferredSize(); |
1034 |
// make sure that prefSize is not smaller than minSize |
// make sure that prefSize is not smaller than minSize |