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)