Package | Description |
---|---|
org.jactr.tools.marker | |
org.jactr.tools.marker.impl |
Modifier and Type | Method and Description |
---|---|
void |
MarkerManager.addListener(IMarkerListener listener,
java.util.concurrent.Executor executor) |
void |
MarkerManager.removeListener(IMarkerListener listener) |
Modifier and Type | Method and Description |
---|---|
void |
MarkerEvent.fire(IMarkerListener listener) |