public void zoom(double factor) {
transformer.zoom(factor);
transformerChanged();
repaint();
}
/** If factor>1 zoom in, otherwise zoom out. */
public void zoom(double factor, int x, int y) {
transformer.zoom(factor, x, y);
transformerChanged();
repaint();
}
