public interface MarkerChangeListener
extends java.util.EventListener
Marker.| Modifier and Type | Method and Description |
|---|---|
void |
markerChanged(MarkerChangeEvent event)
Receives notification of a marker change event.
|
void markerChanged(MarkerChangeEvent event)
event - the event.