Module jEdit
Package org.gjt.sp.jedit.help

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 25300 2020-05-01 08:16:32Z kpouer $
Author:
Nicholas O'Leary

  • Field Details

    • EMPTY_HISTORY_ENTRIES_ARRAY

      public static final org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry[] EMPTY_HISTORY_ENTRIES_ARRAY

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