| org.gjt.sp.jedit.help.HelpViewerInterface
All known Subclasses: org.gjt.sp.jedit.help.HelpViewer,
HelpViewerInterface | public interface HelpViewerInterface (Code) | | Interface supported by all HelpViewer classes.
Currently used by @ref infoviewer.InfoViewerPlugin and @ref HelpViewer
since: Jedit 4.2pre5 version: $Id: HelpViewerInterface.java 5417 2006-05-19 22:33:12Z ezust $ |
dispose | public void dispose()(Code) | | Called when the helpviewer is closed
|
getComponent | public Component getComponent()(Code) | | the root pane of this help viewer |
gotoURL | public void gotoURL(String url, boolean addToHistory, int scrollPos)(Code) | | Parameters: url - Parameters: addToHistory - Parameters: scrollPos - desired vertical scrollbar position after we go there |
queueTOCReload | public void queueTOCReload()(Code) | | |
|
|