/** * Always sanity-check getSize so that we don't use a * value that is improbable * @see java.awt.Component#getSize() */ @Override public Dimension getSize() { Dimension d = super.getSize(); if(d.width <= 0 || d.height <= 0) { d = getPreferredSize(); } return d; }
/** * Always sanity-check getLayoutSize so that we don't use a value that is improbable * * @see java.awt.Component#getSize() */ @Override public Dimension getSize() { Dimension d = super.getSize(); if (d.width <= 0 || d.height <= 0) { d = getPreferredSize(); } return d; }
@Override public void setVisible(boolean aFlag) { super.setVisible(aFlag); if(aFlag == true) { Dimension d = this.getSize(); if(d.width <= 0 || d.height <= 0) { d = this.getPreferredSize(); } model.getGraphLayout().setSize(d); } }
public void scaleToLayout(ScalingControl scaler) { Dimension vd = getPreferredSize(); if (this.isShowing()) { vd = getSize(); } Dimension ld = model.getLayoutSize(); if (vd.equals(ld) == false) { scaler.scale(this, (float) (vd.getWidth() / ld.getWidth()), new Point2D.Double()); } }
public void setGraphLayout(Layout<V,E> layout) { Dimension viewSize = getPreferredSize(); if(this.isShowing()) { viewSize = getSize(); } model.setGraphLayout(layout, viewSize); }
public void scaleToLayout(ScalingControl scaler) { Dimension vd = getPreferredSize(); if(this.isShowing()) { vd = getSize(); } Dimension ld = getGraphLayout().getSize(); if(vd.equals(ld) == false) { scaler.scale(this, (float)(vd.getWidth()/ld.getWidth()), new Point2D.Double()); } }