Class HelpHistoryModel

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

public class HelpHistoryModel extends Object
History model used by the help browser
Version:
$Id: HelpHistoryModel.java 23221 2013-09-29 20:03:32Z shlomy $
Author:
Nicholas O'Leary
  • Constructor Details

    • HelpHistoryModel

      public HelpHistoryModel(int size)
  • Method Details

    • hasNext

      public boolean hasNext()
    • hasPrevious

      public boolean hasPrevious()
    • addToHistory

      public void addToHistory(String url)
    • setCurrentScrollPosition

      public void setCurrentScrollPosition(URL currentPage, int scrollPosition)
    • setCurrentEntry

      public void setCurrentEntry(org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry entry)
    • updateTitle

      public void updateTitle(String url, String title)
    • addHelpHistoryModelListener

      public void addHelpHistoryModelListener(HelpHistoryModelListener hhml)
    • removeHelpHistoryModelListener

      public void removeHelpHistoryModelListener(HelpHistoryModelListener hhml)
    • fireUpdate

      public void fireUpdate()