Package org.gjt.sp.jedit.help
Interface HelpViewerInterface
-
- All Known Implementing Classes:
HelpViewer
public interface HelpViewerInterface
Interface supported by all HelpViewer classes. Currently used by @ref infoviewer.InfoViewerPlugin and @ref HelpViewer- Since:
- Jedit 4.2pre5
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
addPropertyChangeListener(java.beans.PropertyChangeListener l)
void
dispose()
Called when the helpviewer is closedjava.lang.String
getBaseURL()
java.awt.Component
getComponent()
java.lang.String
getShortURL()
void
gotoURL(java.lang.String url, boolean addToHistory, int scrollPos)
void
queueTOCReload()
void
setTitle(java.lang.String newTitle)
-
-
-
Method Detail
-
gotoURL
void gotoURL(java.lang.String url, boolean addToHistory, int scrollPos)
- Parameters:
url
-addToHistory
-scrollPos
- desired vertical scrollbar position after we go there
-
getBaseURL
java.lang.String getBaseURL()
-
addPropertyChangeListener
void addPropertyChangeListener(java.beans.PropertyChangeListener l)
-
dispose
void dispose()
Called when the helpviewer is closed
-
getComponent
java.awt.Component getComponent()
- Returns:
- the root pane of this help viewer
-
getShortURL
java.lang.String getShortURL()
-
queueTOCReload
void queueTOCReload()
-
setTitle
void setTitle(java.lang.String newTitle)
-
-