jedi.help
Class ExternalHelpBrowser
java.lang.Object
|
+--jedi.help.ExternalHelpBrowser
- public class ExternalHelpBrowser
- extends java.lang.Object
- implements HelpBrowser
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
ExternalHelpBrowser
public ExternalHelpBrowser(java.lang.String command,
java.lang.String arguments)
setFilename
public void setFilename(java.lang.String filename)
- Specified by:
- setFilename in interface HelpBrowser
setText
public void setText(java.lang.String text)
- Specified by:
- setText in interface HelpBrowser
setURL
public void setURL(java.net.URL url)
- Specified by:
- setURL in interface HelpBrowser
setURL
public void setURL(java.lang.String url)
- Specified by:
- setURL in interface HelpBrowser
setVisible
public void setVisible(boolean b)
- Specified by:
- setVisible in interface HelpBrowser