float getRightProportion() {
final float totalSize =
myTopSplit.getOrientation() ? myTopSplit.getHeight() : myTopSplit.getWidth();
final float componentSize = myTopSplit.getLastSize();
return componentSize / (totalSize - 2.0f * myTopSplit.getDividerWidth());
}
void setRightProportion(float proportion) {
final int componentSize =
myTopSplit.getOrientation() ? myTopSplit.getHeight() : myTopSplit.getWidth();
myTopSplit.setLastSize(
(int) (proportion * (float) (componentSize - 2 * myTopSplit.getDividerWidth())));
}
void setLeftProportion(float proportion) {
final int totalSize =
myTopSplit.getOrientation() ? myTopSplit.getHeight() : myTopSplit.getWidth();
myTopSplit.setFirstSize(
(int) (proportion * (float) (totalSize - 2 * myTopSplit.getDividerWidth())));
}
