| Prev Class | Next Class | Frames | No Frames |
| Summary: Nested | Field | Method | Constr | Detail: Nested | Field | Method | Constr |
public interface HelpHistoryModelListenerextends java.util.EventListenerMethod Summary | |
void |
|
public void historyChanged(HelpHistoryModelEvent e)
Tells the listener that the history has changed.
- Parameters:
e- The HelpHistoryModelEvent