java.util.EventListenerHelpHistoryModelBasicContentViewerUI, BasicFavoritesNavigatorUI, BasicGlossaryNavigatorUI, BasicIndexNavigatorUI, BasicSearchNavigatorUI, BasicTOCNavigatorUI, DefaultHelpHistoryModelpublic interface HelpModelListener
extends java.util.EventListener
| Modifier and Type | Method | Description |
|---|---|---|
void |
idChanged(HelpModelEvent e) |
Tells the listener that the current ID in the HelpModel has
changed.
|
void idChanged(HelpModelEvent e)
e - The event