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