    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