| javax.swing.JFrame org.gjt.sp.jedit.help.HelpViewer
Constructor Summary | |
public | HelpViewer() Creates a new help viewer with the default help page. | public | HelpViewer(URL url) Creates a new help viewer for the specified URL. | public | HelpViewer(String url) Creates a new help viewer for the specified URL. |
HelpViewer | public HelpViewer()(Code) | | Creates a new help viewer with the default help page.
since: jEdit 4.0pre4 |
HelpViewer | public HelpViewer(URL url)(Code) | | Creates a new help viewer for the specified URL.
Parameters: url - The URL |
HelpViewer | public HelpViewer(String url)(Code) | | Creates a new help viewer for the specified URL.
Parameters: url - The URL |
dispose | public void dispose()(Code) | | |
getCurrentScrollPosition | int getCurrentScrollPosition()(Code) | | |
gotoURL | public void gotoURL(String url, boolean addToHistory, int scrollPosition)(Code) | | Displays the specified URL in the HTML component.
Parameters: url - The URL Parameters: addToHistory - Should the URL be added to the back/forwardhistory? Parameters: scrollPosition - The vertical scrollPosition |
historyUpdated | public void historyUpdated()(Code) | | |
queueTOCReload | public void queueTOCReload()(Code) | | |
|
|