214215216217218219220221222223224
} Point2D p = new Point2D(event.getX(), event.getY()); transform.getInverse().transform(p, p); transform = transform.copy(); transform.scaleAboutPoint(scaleDelta, p.getX(), p.getY()); setTransform(transform);
249250251252253254255256257258259
} if ((m_maxScale > 0) && (newScale > m_maxScale)) { scaleDelta = m_maxScale / currentScale; } transform = transform.copy(); transform.scaleAboutPoint(scaleDelta, m_zoomCenter.getX(), m_zoomCenter.getY()); setTransform(transform);
216217218219220221222223224225226