public static class BasicTextUI.BasicHighlighter extends DefaultHighlighter implements UIResource
DefaultHighlighter.DefaultHighlightPainter
LayeredHighlighter.LayerPainter
Highlighter.Highlight, Highlighter.HighlightPainter
DefaultPainter
Constructor and Description |
---|
BasicTextUI.BasicHighlighter() |
addHighlight, changeHighlight, deinstall, getDrawsLayeredHighlights, getHighlights, install, paint, paintLayeredHighlights, removeAllHighlights, removeHighlight, setDrawsLayeredHighlights
Submit a bug or feature
For further API reference and developer documentation, see Java SE Documentation. That documentation contains more detailed, developer-targeted descriptions, with conceptual overviews, definitions of terms, workarounds, and working code examples.
Copyright © 1993, 2012, Oracle and/or its affiliates. All rights reserved.