org.gjt.sp.jedit.help
Class HelpHistoryModel

java.lang.Object
  extended by org.gjt.sp.jedit.help.HelpHistoryModel

public class HelpHistoryModel
extends java.lang.Object

History model used by the help browser


Constructor Summary
HelpHistoryModel(int size)
           
 
Method Summary
 void addHelpHistoryModelListener(HelpHistoryModelListener hhml)
           
 void addToHistory(java.lang.String url)
           
 void fireUpdate()
           
 boolean hasNext()
           
 boolean hasPrevious()
           
 void removeHelpHistoryModelListener(HelpHistoryModelListener hhml)
           
 void setCurrentEntry(org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry entry)
           
 void setCurrentScrollPosition(java.net.URL currentPage, int scrollPosition)
           
 void updateTitle(java.lang.String url, java.lang.String title)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

HelpHistoryModel

public HelpHistoryModel(int size)
Method Detail

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()