5152535455565758596061
public void propertyChange(PropertyChangeEvent evt) { String prop = evt.getPropertyName(); if (prop.equals(GridPainter.ZOOM_PROPERTY)) { CanvasTool t = getTool(); if (t != null) { t.zoomFactorChanged(AppearanceCanvas.this); } } } }
5455565758596061626364