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)
hasNext
public boolean hasNext()
hasPrevious
public boolean hasPrevious()
addToHistory
public void addToHistory(java.lang.String url)
setCurrentScrollPosition
public void setCurrentScrollPosition(java.net.URL currentPage,
int scrollPosition)
setCurrentEntry
public void setCurrentEntry(org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry entry)
updateTitle
public void updateTitle(java.lang.String url,
java.lang.String title)
addHelpHistoryModelListener
public void addHelpHistoryModelListener(HelpHistoryModelListener hhml)
removeHelpHistoryModelListener
public void removeHelpHistoryModelListener(HelpHistoryModelListener hhml)
fireUpdate
public void fireUpdate()