Package | Description |
---|---|
jgloss.ui.html |
Management of the JGloss document in HTML DOM format.
|
Modifier and Type | Field and Description |
---|---|
protected JGlossEditor |
SelectedAnnotationHighlighter.editor |
Constructor and Description |
---|
SelectedAnnotationHighlighter(AnnotationList _list,
JGlossEditor _editor) |
Copyright © 2001-2013 the JGloss developers. All Rights Reserved.