public interface TextHelpModelListener
extends java.util.EventListener
| Modifier and Type | Method and Description |
|---|---|
void |
highlightsChanged(TextHelpModelEvent e)
Invoked when the set of highlights changess.
|
void highlightsChanged(TextHelpModelEvent e)