public static class BasicTextUI.BasicHighlighter extends DefaultHighlighter implements UIResource
DefaultHighlighter.DefaultHighlightPainter
LayeredHighlighter.LayerPainter
Highlighter.Highlight, Highlighter.HighlightPainter
DefaultPainter
Constructor and Description |
---|
BasicHighlighter()
|
addHighlight,
changeHighlight,
deinstall,
getDrawsLayeredHighlights,
getHighlights,
install,
paint,
paintLayeredHighlights,
removeAllHighlights,
removeHighlight,
setDrawsLayeredHighlights