/**
* Scales to the given zoom level, 1.0 being 100%, centered on the given point.
*
* @param level The level to zoom to.
* @param center The center point for the scaling operation.
* @return The new zoom level.
*/
public float scaleTo(float level, Point2D center) {
if (this.scrollPane == null) return 1.0f;
float oldZoom = this.currentZoom;
this.currentZoom = Math.max(minimumZoom, level);
// this.absoluteViewScaler.scale( this, level, center );
Dimension viewSize;
if (level < 1.0f) {
viewSize = this.scrollPane.getSize();
} else {
viewSize = this.scrollPane.getViewport().getExtentSize();
}
Dimension newSize =
new Dimension((int) (viewSize.width * currentZoom), (int) (viewSize.height * currentZoom));
this.setPreferredSize(newSize);
this.setSize(newSize);
// new LayoutScaler( this.getGraphLayout( )).setSize( newSize );
if (Float.compare(level, 1.0f) <= 0) this.center();
// translate the new view position so the mouse is in the same place
// on the scaled view.
JViewport vp = this.scrollPane.getViewport();
double centerX = center.getX();
double centerY = center.getY();
double viewPortMouseX = centerX - vp.getViewPosition().getX();
double viewPortMouseY = centerY - vp.getViewPosition().getY();
centerX *= currentZoom / oldZoom;
centerY *= currentZoom / oldZoom;
viewPortMouseX = centerX - viewPortMouseX;
viewPortMouseY = centerY - viewPortMouseY;
vp.setViewPosition(new Point((int) viewPortMouseX, (int) viewPortMouseY));
return this.currentZoom;
}
