public class HTMLDocumentFactory extends Object implements NavigationEventListener
Modifier and Type | Field and Description |
---|---|
static int |
DOCUMENT_CACHE_INDEXER_WAIT_TIME |
Constructor and Description |
---|
HTMLDocumentFactory(Navigator navigator,
EditorKit editorKit) |
Modifier and Type | Method and Description |
---|---|
HTMLDocument |
getDocument(Resource resource)
Get the HTMLDocument representation of the resource.
|
void |
init(Book book) |
void |
navigationPerformed(NavigationEvent navigationEvent)
Called whenever the user navigates to another position in the book.
|
public static final int DOCUMENT_CACHE_INDEXER_WAIT_TIME
public void init(Book book)
public HTMLDocument getDocument(Resource resource)
resource
- public void navigationPerformed(NavigationEvent navigationEvent)
NavigationEventListener
navigationPerformed
in interface NavigationEventListener
Copyright © 2009–2013. All rights reserved.