    All Packages    This Package    Previous    Next

# Class browser.WRWindow

    java.lang.Object
       |
       +----awt.Component
               |
               +----awt.Container
                       |
                       +----awt.Window
                               |
                               +----awt.DisplayItemWindow
                                       |
                                       +----awt.TextWindow
                                               |
                                               +----browser.WRWindow

public class WRWindow
extends TextWindow

A Window subclass that contains hotjava documents. html.Document objects are assigned to WRWindow's, which causes those documents to be displayed in the window. WRWindow also serves as the focal point for handling document actions, such as following links, or moving up and down the document stack.

See Also:
  Document, Document, Window
Version:
  1.82, 20 Mar 1995
Author:
  Jonathan Payne

##

WRWindow(Window, String)
  Constructs a new WRWindow as the named child of another Window.
WRWindow(Frame, String)
  Constructs a new WRWindow as the named child of a Frame.

##

backup()
  Handles the callback from pressing the Back button in the main window.
destroyApplets()
document()
  Returns the current document being displayed in this Window.
fetching(String)
forward()
  Handles the callback from pressing the Forward button in the main window.
handleResize()
imageProgress(int)
  Notice the completion of background image reading, and reformat the current document if there are no more pending images.
preserveScrolling()
pushURL(URL)
relayout()
  Relays out the current document, trying to preserve the current position in the document.
reload()
  Handles the callback from pressing the reload button in the main window.
scrollToTextPosition(int)
setDelayAppletLoading(boolean)
  Turn on or off delayed applet loading.
setDelayImageLoading(boolean)
  Turn on or off delayed image loading.
setDocument(DocumentInfo, boolean)
  Set the current document displayed by this window to the specified DocumentInfo.
startApplets()
status(String)
  Display a status message in the frame that contains this WRWindow.
stopApplets()
uncacheCurrentDocument()
validate()

##

WRWindow

      public WRWindow(Window parent,
                      String client)

  Constructs a new WRWindow as the named child of another Window.

WRWindow

      public WRWindow(Frame parent,
                      String client)

  Constructs a new WRWindow as the named child of a Frame.

##

status

      public void status(String s)

  Display a status message in the frame that contains this WRWindow.

setDelayImageLoading

      public void setDelayImageLoading(boolean on)

  Turn on or off delayed image loading. If delayed image loading is turned on, and there are currently delayed images being fetched, they are flushed. If delayed image loading is turned off, and there are images that need loading in the current document, they are fetched now.

setDelayAppletLoading

      public void setDelayAppletLoading(boolean on)

  Turn on or off delayed applet loading. If delayed applet loading is turned on, and there are currently delayed applets being fetched, they are flushed. If delayed applet loading is turned off, and there are applets that need loading in the current document, they are feteched now.

imageProgress

      public void imageProgress(int pending)

  Notice the completion of background image reading, and reformat the current document if there are no more pending images.

scrollToTextPosition

      public synchronized void scrollToTextPosition(int pos)

stopApplets

      protected void stopApplets()

startApplets

      protected void startApplets()

destroyApplets

      protected void destroyApplets()

setDocument

      protected boolean setDocument(DocumentInfo newDoc,
                                    boolean restore)

  Set the current document displayed by this window to the specified DocumentInfo. If this document has been visited previously, this scrolls to the last position at which this document was displayed. If the document contains a #ref, that is also handled here.
  See Also:
    DocumentInfo, URL

document

      public Document document()

  Returns the current document being displayed in this Window.

pushURL

      public synchronized void pushURL(URL url)

fetching

      public void fetching(String msg)

reload

      public void reload()

  Handles the callback from pressing the reload button in the main window.

backup

      public void backup()

  Handles the callback from pressing the Back button in the main window.

forward

      public void forward()

  Handles the callback from pressing the Forward button in the main window.

uncacheCurrentDocument

      public void uncacheCurrentDocument()

relayout

      public void relayout()

  Relays out the current document, trying to preserve the current position in the document.

preserveScrolling

      public void preserveScrolling()

handleResize

      public void handleResize()

validate

      public void validate()

    All Packages    This Package    Previous    Next