java.util.EventListener
, HelpModelListener
, java.io.Serializable
DefaultHelpHistoryModel
public 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
|
idChanged
void 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