Java Splitter.getDividerWidth примеры использования

Пример #1

Файл: GridImpl.java Проект: influencia0406/intellij-community

  float getBottomPropertion() {
    final float totalSize =
        mySplitter.getOrientation() ? mySplitter.getHeight() : mySplitter.getWidth();
    final float componentSize =
        mySplitter.getOrientation()
            ? mySplitter.getFirstComponent().getHeight()
            : mySplitter.getFirstComponent().getWidth();

    return componentSize / (totalSize - mySplitter.getDividerWidth());
  }