All Packages    This Package    Previous    Next

Class browser.hotjava

java.lang.Object
   |
   +----awt.Component
           |
           +----awt.Container
                   |
                   +----awt.Frame
                           |
                           +----browser.hotjava

public class hotjava

extends Frame

Version:

1.181, 15 May 1995

Author:

Jonathan Payne, Sami Shaio, Arthur van Hoff

anchorColor

doc

dochome

fileMenu

history

home

programName

props

untitledTitle

version

visitedAnchorColor

windowHeight

windowWidth

hotjava(WServer, String[])

fetchGIF(String)

go(String)

goHome()

handleQuit()

main(String[])

pageHasSource(boolean)

Call this to say that this document has HTML source.

readProperties()

setMessage(String)

setTitle(String)

setURL(String)

  public static Color anchorColor

  public static Color visitedAnchorColor

  public static Properties props

  public static String home

  public static String dochome

  public static String version

  public static String programName

  public static String untitledTitle

  public static URLHistory history

  public static int windowWidth

  public static int windowHeight

  public FileMenu fileMenu

  protected WRWindow doc

  public hotjava(WServer serv,
                 String args[])

  public static GifImage fetchGIF(String fromURL)

  public void go(String u)

  public void goHome()

  public void setTitle(String t)

  public void setURL(String u)

  public void pageHasSource(boolean source)

Call this to say that this document has HTML source. Can be used to turn on/off various commands, etc.

handleQuit

  public void handleQuit()

  public void setMessage(String msg)

  public void readProperties()

  public static void main(String args[])

All Packages    This Package    Previous    Next