javax.help
public interface HelpHistoryModel extends HelpModelListener, java.io.Serializable
Modifier and Type | Method and 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