| Prev Class | Next Class | Frames | No Frames |
| Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
public interface TextHelpModelListenerextends java.util.EventListenerMethod 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.