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(); }