Prev Class | Next Class | Frames | No Frames |
Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
public interface TextHelpModelListener
extends java.util.EventListener
Method Summary | |
void |
|
public void highlightsChanged(TextHelpModelEvent e)
Invoked when the set of highlights changess. Note that this event is not generated when an idChanged() event is generated, since all the highlights are reset at that point.