Package | Description |
---|---|
jgloss.ui |
Classes for managing the JGloss frontend.
|
Modifier and Type | Class and Description |
---|---|
class |
MatchHighlighter |
class |
PartialHighlighter |
Copyright © 2001-2013 the JGloss developers. All Rights Reserved.