javax.help
Interface HelpHistoryModel
- java.util.EventListener, HelpModelListener, Serializable
- DefaultHelpHistoryModel
public interface HelpHistoryModel
The interface to the history model.
addHelpHistoryModelListener
public void addHelpHistoryModelListener(HelpHistoryModelListener l)
Adds a listener for the HelpHistoryModelEvent posted after the model has
changed.
discard
public void discard()
Discards a history
getBackwardHistory
public Vector getBackwardHistory()
Returns a backward history list
getForwardHistory
public Vector getForwardHistory()
Returns a forward history list
getHistory
public Vector getHistory()
Returns a history
getIndex
public int getIndex()
Returns a current history position
goBack
public void goBack()
Sets a previous history entry
goForward
public void goForward()
Sets a next history entry
removeHelpHistoryModelListener
public void removeHelpHistoryModelListener(HelpHistoryModelListener l)
Removes a listener previously added with addHelpHistoryModelListener
l
- The listener to remove.
removeHelpSet
public void removeHelpSet(HelpSet hs)
Removes entries related to removed HelpSet from history
setHelpModel
public void setHelpModel(HelpModel model)
Sets the HelpModel
setHistoryEntry
public void setHistoryEntry(int index)
Sets the current history entry
index
- The index of history entry