Class browser.DocumentManager
All Packages This Package Previous Next
Class browser.DocumentManager
java.lang.Object
|
+----browser.DocumentManager
-
public class
DocumentManager
-
extends Object
Class DocumentManager manages multiple html documents. It
maintains a list of visited documents, and fetches ones which are
not currently known. Instances of DocumentManager are created
by WRWindow to manage the documents of that window. Documents are
fetched in the background, and multiple documents may be fetched at
the same time.
This class was never completed.
-
Version:
-
1.22, 14 Mar 1995
-
Author:
-
Jonathan Payne
-
cacheDocument(DocumentInfo)
-
-
unCacheDocument(URL)
-
unCacheDocument
public static void unCacheDocument(URL url)
cacheDocument
public static void cacheDocument(DocumentInfo info)
All Packages This Package Previous Next