java.util.EventListener, HelpModelListener, java.io.SerializableDefaultHelpHistoryModelpublic interface HelpHistoryModel extends HelpModelListener, java.io.Serializable
| Modifier and Type | Method | Description |
|---|---|---|
void |
addHelpHistoryModelListener(HelpHistoryModelListener l) |
Adds a listener for the HelpHistoryModelEvent posted after the model has
changed.
|
void |
discard() |
Discards a history
|
java.util.Vector |
getBackwardHistory() |
Returns a backward history list
|
java.util.Vector |
getForwardHistory() |
Returns a forward history list
|
java.util.Vector |
getHistory() |
Returns a history
|
int |
getIndex() |
Returns a current history position
|
void |
goBack() |
Sets a previous history entry
|
void |
goForward() |
Sets a next history entry
|
void |
removeHelpHistoryModelListener(HelpHistoryModelListener l) |
Removes a listener previously added with addHelpHistoryModelListener
|
void |
removeHelpSet(HelpSet hs) |
Removes entries related to removed HelpSet from history
|
void |
setHelpModel(HelpModel model) |
Sets the HelpModel
|
void |
setHistoryEntry(int index) |
Sets the current history entry
|
idChangedvoid addHelpHistoryModelListener(HelpHistoryModelListener l)
l - The listener to add.removeHelpHistoryModelListener(javax.help.event.HelpHistoryModelListener)void removeHelpHistoryModelListener(HelpHistoryModelListener l)
l - The listener to remove.addHelpHistoryModelListener(javax.help.event.HelpHistoryModelListener)void discard()
void goForward()
void goBack()
java.util.Vector getBackwardHistory()
java.util.Vector getForwardHistory()
void setHistoryEntry(int index)
index - The index of history entryvoid removeHelpSet(HelpSet hs)
hs - The removed HelpSetjava.util.Vector getHistory()
int getIndex()
void setHelpModel(HelpModel model)
model - The HeplModel