1361 |
*/ |
*/ |
1362 |
public int getMinimumDividerLocation(JSplitPane jc) |
public int getMinimumDividerLocation(JSplitPane jc) |
1363 |
{ |
{ |
1364 |
int value = layoutManager.getInitialLocation(jc.getInsets()) |
int value = layoutManager.getInitialLocation(jc.getInsets()); |
1365 |
- layoutManager.getAvailableSize(jc.getSize(), jc.getInsets()) |
if (layoutManager.components[0] != null) |
1366 |
+ splitPane.getDividerSize(); |
value -= layoutManager.minimumSizeOfComponent(0); |
|
if (layoutManager.components[1] != null) |
|
|
value += layoutManager.minimumSizeOfComponent(1); |
|
1367 |
return value; |
return value; |
1368 |
} |
} |
1369 |
|
|