public class HelpHistoryModel
extends java.lang.Object
| Constructor and Description | 
|---|
| HelpHistoryModel(int size) | 
| Modifier and Type | Method and Description | 
|---|---|
| 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) | 
public boolean hasNext()
public boolean hasPrevious()
public void addToHistory(java.lang.String url)
public void setCurrentScrollPosition(java.net.URL currentPage,
                                     int scrollPosition)
public void setCurrentEntry(org.gjt.sp.jedit.help.HelpHistoryModel.HistoryEntry entry)
public void updateTitle(java.lang.String url,
                        java.lang.String title)
public void addHelpHistoryModelListener(HelpHistoryModelListener hhml)
public void removeHelpHistoryModelListener(HelpHistoryModelListener hhml)
public void fireUpdate()