Package | Description |
---|---|
jgloss.ui.gloss | |
jgloss.ui.html |
Management of the JGloss document in HTML DOM format.
|
jgloss.ui.xml |
Management of the JGloss document in XML format.
|
Modifier and Type | Method and Description |
---|---|
protected JGlossDocument |
OpenDocumentWorker.doInBackground() |
JGlossDocument |
JGlossFrameModel.getDocument() |
Modifier and Type | Method and Description |
---|---|
JGlossDocument |
JGlossHTMLDoc.getJGlossDocument() |
Modifier and Type | Method and Description |
---|---|
void |
JGlossHTMLDoc.setJGlossDocument(JGlossDocument _baseDoc)
Set the JGloss XML document to which this HTML document corresponds.
|
Modifier and Type | Method and Description |
---|---|
JGlossDocument |
JGlossDocumentBuilder.build(Reader text,
boolean detectLineBreaks,
ReadingAnnotationFilter readingFilter,
Parser parser,
Dictionary[] dictionaries) |
Copyright © 2001-2013 the JGloss developers. All Rights Reserved.