@Override protected double getDivider( SplitNode node ){ return ((Node)node).getDivider(); }
@Override protected double getDivider( SplitNode node ){ return ((Node)node).getDivider(); }
public double getActualDivider(){ return validateDivider( getDivider() ); }
private double validateHeadNode( double divider, Node node, WizardNodeMap map ){ if( side() == Side.RIGHT || side() == Side.BOTTOM ){ if( divider < node.getDivider() ){ if( divider > node.getDivider() ){
if( n.getOrientation() == Orientation.HORIZONTAL ) { double dividerWidth = factorW > 0 ? Math.max( 0, gap( n, map ) / factorW ) : 0.0; double dividerLocation = width * n.getDivider(); double dividerLocation = height * n.getDivider();
getLeft().adapt( deltaWidth * node.getDivider(), deltaHeight ); getRight().adapt( deltaWidth * (1-node.getDivider()), deltaHeight ); getLeft().adapt( deltaWidth, deltaHeight * node.getDivider()); getRight().adapt( deltaHeight, deltaHeight * (1-node.getDivider())); double divider = node.getDivider(); double width = node.getWidth(); double divider = node.getDivider(); double height = node.getHeight();
getLeft().adapt( deltaWidth * node.getDivider(), deltaHeight ); getRight().adapt( deltaWidth * (1-node.getDivider()), deltaHeight ); getLeft().adapt( deltaWidth, deltaHeight * node.getDivider()); getRight().adapt( deltaHeight, deltaHeight * (1-node.getDivider())); double divider = node.getDivider(); double width = node.getWidth(); double divider = node.getDivider(); double height = node.getHeight();
public double validateDivider( Column column, double divider, Node node, WizardNodeMap map ){ if( divider > node.getDivider() ){ return divider; } Cell head = column.getRightmostCell( node.getLeft() ); if( head == null ){ return divider; } int min; int available; if( side().getHeaderOrientation() == Orientation.HORIZONTAL ){ min = node.getLeft().getSize().height - head.getNode().getSize().height + head.getMinimumSize().height; available = node.getSize().height; } else{ min = node.getLeft().getSize().width - head.getNode().getSize().width + head.getMinimumSize().width; available = node.getSize().width; } double minDividier = (min + gap()/2) / (double)(available + gap()); return Math.max( minDividier, divider ); }
setDivider( map, column, node.getDivider(), divider, node.getSize() ); double dividerDelta = divider - node.getDivider(); int deltaPixel; if( side().getHeaderOrientation() == Orientation.HORIZONTAL ){