public interface HelpViewerInterface
Modifier and Type | Method and Description |
---|---|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener l) |
void |
dispose()
Called when the helpviewer is closed
|
java.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) |
void gotoURL(java.lang.String url, boolean addToHistory, int scrollPos)
url
- addToHistory
- scrollPos
- desired vertical scrollbar position after we go therejava.lang.String getBaseURL()
void addPropertyChangeListener(java.beans.PropertyChangeListener l)
void dispose()
java.awt.Component getComponent()
java.lang.String getShortURL()
void queueTOCReload()
void setTitle(java.lang.String newTitle)