public int getVerticalDivider() {
int location =
verticalSplitPane.getSize().height
- verticalSplitPane.getInsets().bottom
- verticalSplitPane.getDividerSize()
- verticalSplitPane.getBottomComponent().getHeight();
double height = indexingFrame.getHeight();
double proportionalLocation = location / height;
// verticalSplitPane.setDividerLocation(proportionalLocation);
// double check = verticalSplitPane.getDiv
return location;
}
