public interface HighlightListener
Modifier and Type | Method and Description |
---|---|
void |
highlightChanged(Highlighter which)
Called by the Highlight manager when highlights have changed
and will be updated on the screen.
|
void |
highlighterLostFocus(Highlighter highlighterGainedFocus)
Called when by a Highlighter when it loses focus.
|
void highlightChanged(Highlighter which)
void highlighterLostFocus(Highlighter highlighterGainedFocus)
highlighterGainedFocus
- the highlighter for the current window (may be null).