public interface MarkerChangeListener extends java.util.EventListener
| Modifier and Type | Method and Description |
|---|---|
void |
markerChanged(MarkerChangeEvent event)
Called to inform that an marker change event has occurred.
|
void markerChanged(MarkerChangeEvent event)
event - the event (null not permitted).