Package org.gjt.sp.jedit.help
Class HelpHistoryModel
java.lang.Object
org.gjt.sp.jedit.help.HelpHistoryModel
History model used by the help browser
- Version:
- $Id: HelpHistoryModel.java 23221 2013-09-29 20:03:32Z shlomy $
- Author:
- Nicholas O'Leary
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
void
addToHistory
(String url) void
boolean
hasNext()
boolean
void
void
setCurrentEntry
(org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry entry) void
setCurrentScrollPosition
(URL currentPage, int scrollPosition) void
updateTitle
(String url, String title)
-
Constructor Details
-
HelpHistoryModel
public HelpHistoryModel(int size)
-
-
Method Details
-
hasNext
public boolean hasNext() -
hasPrevious
public boolean hasPrevious() -
addToHistory
-
setCurrentScrollPosition
-
setCurrentEntry
public void setCurrentEntry(org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry entry) -
updateTitle
-
addHelpHistoryModelListener
-
removeHelpHistoryModelListener
-
fireUpdate
public void fireUpdate()
-