public interface HelpHistoryModelListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
historyChanged(HelpHistoryModelEvent e)
Tells the listener that the history has changed.
|
void historyChanged(HelpHistoryModelEvent e)
e
- The HelpHistoryModelEvent