View Javadoc

1   package org.glassbox.graphview;
2   
3   import de.fzi.wim.guibase.graphview.view.NodePainter;
4   
5   public interface ZoomableNodePainter extends NodePainter {
6       /***
7          Set the zoom-factor.
8        */
9       public void setZoomFactor(double zf);
10  }