org.gjt.sp.jedit.help
Class HelpHistoryModel
java.lang.Object
org.gjt.sp.jedit.help.HelpHistoryModel
public class HelpHistoryModel
- extends java.lang.Object
History model used by the help browser
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
HelpHistoryModel
public HelpHistoryModel(int size)
forward
public java.lang.String forward()
hasNext
public boolean hasNext()
back
public java.lang.String back()
hasPrevious
public boolean hasPrevious()
addToHistory
public void addToHistory(java.lang.String url)
setCurrentEntry
public void setCurrentEntry(org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry entry)
updateTitle
public void updateTitle(java.lang.String url,
java.lang.String title)
getPreviousURLs
public org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry[] getPreviousURLs()
getNextURLs
public org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry[] getNextURLs()
addHelpHistoryModelListener
public void addHelpHistoryModelListener(HelpHistoryModelListener hhml)
removeHelpHistoryModelListener
public void removeHelpHistoryModelListener(HelpHistoryModelListener hhml)
fireUpdate
public void fireUpdate()