public interface EditorTrackerListener
extends java.util.EventListener
| Modifier and Type | Field and Description |
|---|---|
static Topic<EditorTrackerListener> |
TOPIC |
| Modifier and Type | Method and Description |
|---|---|
void |
activeEditorsChanged(java.util.List<Editor> activeEditors) |
static final Topic<EditorTrackerListener> TOPIC
void activeEditorsChanged(java.util.List<Editor> activeEditors)