public interface Tool
extends java.awt.event.MouseListener, java.awt.event.MouseMotionListener, java.awt.event.MouseWheelListener, java.awt.event.KeyListener
Modifier and Type | Method and Description |
---|---|
void |
activate(GeometryEditPanel panel) |
void |
deactivate() |
java.awt.Cursor |
getCursor() |
java.awt.Cursor getCursor()
void activate(GeometryEditPanel panel)
void deactivate()