823 |
tmpSizes[1] += newSpace / 2; |
tmpSizes[1] += newSpace / 2; |
824 |
|
|
825 |
layoutManager.setSizes(tmpSizes); |
layoutManager.setSizes(tmpSizes); |
|
resetLayoutManager(); |
|
826 |
} |
} |
827 |
else if (e.getPropertyName().equals(JSplitPane.ORIENTATION_PROPERTY)) |
else if (e.getPropertyName().equals(JSplitPane.ORIENTATION_PROPERTY)) |
828 |
{ |
{ |
1299 |
{ |
{ |
1300 |
location = validLocation(location); |
location = validLocation(location); |
1301 |
Container p = jc.getParent(); |
Container p = jc.getParent(); |
1302 |
|
Dimension rightPrefSize = jc.getRightComponent().getPreferredSize(); |
1303 |
if (getOrientation() == 0 && location > jc.getSize().height) |
if (getOrientation() == 0 && location > jc.getSize().height) |
1304 |
{ |
{ |
1305 |
Dimension leftPrefSize = jc.getLeftComponent().getPreferredSize(); |
location = jc.getSize().height; |
1306 |
while (p != null) |
while (p != null) |
1307 |
{ |
{ |
1308 |
p.setSize(p.getWidth(), p.getHeight() + leftPrefSize.height); |
p.setSize(p.getWidth(), p.getHeight() + rightPrefSize.height); |
1309 |
p = p.getParent(); |
p = p.getParent(); |
1310 |
} |
} |
1311 |
} |
} |
1312 |
else if (location > jc.getSize().width) |
else if (location > jc.getSize().width) |
1313 |
{ |
{ |
1314 |
|
location = jc.getSize().width; |
|
Dimension rightPrefSize = jc.getRightComponent().getPreferredSize(); |
|
1315 |
while (p != null) |
while (p != null) |
1316 |
{ |
{ |
1317 |
p.setSize(p.getWidth() + rightPrefSize.width, p.getHeight()); |
p.setSize(p.getWidth() + rightPrefSize.width, p.getHeight()); |