Package | Description |
---|---|
jgloss.ui.html |
Management of the JGloss document in HTML DOM format.
|
Modifier and Type | Method and Description |
---|---|
protected void |
SelectedAnnotationHighlighter.highlightSelection(AnnotationList list) |
Constructor and Description |
---|
JGlossEditor(AnnotationList _annotationList)
Creates a new editor for JGloss annotated documents with an associated
annotation editor.
|
SelectedAnnotationHighlighter(AnnotationList _list,
JGlossEditor _editor) |
Copyright © 2001-2013 the JGloss developers. All Rights Reserved.