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)