Class browser.WRWindow

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.92, 04 May 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.

allowStop(boolean)
backup(): Handles the callback from pressing the Back button in the main window.
destroyApplets()
document(): Returns the current document being displayed in this Window.
dumpStack(String)
fetching(String)
flushImages()
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)
setButtonStates()
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()
stopFetch(): Stop the document fetch now in progress.
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()

flushImages

  protected void flushImages()

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)

setButtonStates

  public void setButtonStates()

allowStop

  public void allowStop(boolean yes)

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.

dumpStack

  public void dumpStack(String msg)

stopFetch

  public synchronized void stopFetch()

Stop the document fetch now in progress. Invoked by the stop button. Try to restore as much of the previous state as possible.

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