org.PingOO.DLAI.lib.PWidget.tool
Class HtmlBrowser.PageLoader

java.lang.Object
  |
  +--org.PingOO.DLAI.lib.PWidget.tool.HtmlBrowser.PageLoader

protected class HtmlBrowser.PageLoader
extends java.lang.Object
implements java.lang.Runnable

Temporary class that loads synchronously (although later than the request so that a cursor change can be done).

Since:
PingOO 2.0
Version:
1.5 08/26/98
Author:
Steve Wilson, Fabrice Bouyé (bouye@cur-archamps.fr)
See Also:
Runnable

Field Summary
private  java.awt.Cursor cursor
          The previous cursor.
private  java.net.URL nextHtmlPage
          The next html page.
 
Constructor Summary
(package private) HtmlBrowser.PageLoader(java.net.URL htmlPage, java.awt.Cursor cursor)
          Creates a new loader for the html page.
 
Method Summary
 void run()
          Required by Runnable.
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

nextHtmlPage

private java.net.URL nextHtmlPage
The next html page.

cursor

private java.awt.Cursor cursor
The previous cursor.
Constructor Detail

HtmlBrowser.PageLoader

HtmlBrowser.PageLoader(java.net.URL htmlPage,
                       java.awt.Cursor cursor)
Creates a new loader for the html page.
Parameters:
htmlPage - The new html page.
cursor - The original cursor.
Method Detail

run

public void run()
Required by Runnable.
Specified by:
run in interface java.lang.Runnable