Package | Description |
---|---|
jgloss.ui.annotation |
Classes specific to the annotation editor tree.
|
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.
|
Class and Description |
---|
TextElement
Wraps a leaf element and provides accessors for the contained text.
|
Class and Description |
---|
JGlossHTMLDoc
Extends the HTML document class to handle JGloss document annotations.
|
Class and Description |
---|
AnnotationTags
Class enumerating the custom HTML tags used for modelling annotations in a document.
|
JGlossEditor
JGlossEditor is a JTextPane with extensions specific to the manipulation on
text with translation annotations.
|
JGlossEditorKit
The
JGlossEditorKit is an extension of the
HTMLEditorKit with several additions to manage the generation,
display and manipulation of JGloss documents. |
JGlossHTMLDoc
Extends the HTML document class to handle JGloss document annotations.
|
Class and Description |
---|
JGlossHTMLDoc
Extends the HTML document class to handle JGloss document annotations.
|
Copyright © 2001-2013 the JGloss developers. All Rights Reserved.