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 Summary

Constructors

Constructor	Description
HelpHistoryModel(int size)

Method Summary

Modifier and Type	Method	Description
void	addHelpHistoryModelListener(HelpHistoryModelListener hhml)
void	addToHistory(String url)
void	fireUpdate()
boolean	hasNext()
boolean	hasPrevious()
void	removeHelpHistoryModelListener(HelpHistoryModelListener hhml)
void	setCurrentEntry(org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry entry)
void	setCurrentScrollPosition(URL currentPage, int scrollPosition)
void	updateTitle(String url, String title)

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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