jedi.help
Class ExternalHelpBrowser

java.lang.Object
  |
  +--jedi.help.ExternalHelpBrowser

public class ExternalHelpBrowser
extends java.lang.Object
implements HelpBrowser


Constructor Summary
ExternalHelpBrowser(java.lang.String command, java.lang.String arguments)
           
 
Method Summary
 void setFilename(java.lang.String filename)
           
 void setText(java.lang.String text)
           
 void setURL(java.lang.String url)
           
 void setURL(java.net.URL url)
           
 void setVisible(boolean b)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ExternalHelpBrowser

public ExternalHelpBrowser(java.lang.String command,
                           java.lang.String arguments)
Method Detail

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