public static class BasicTextUI.BasicHighlighter extends DefaultHighlighter implements UIResource
DefaultHighlighter.DefaultHighlightPainterLayeredHighlighter.LayerPainterHighlighter.Highlight, Highlighter.HighlightPainterDefaultPainter| Constructor and Description |
|---|
BasicHighlighter() |
addHighlight, changeHighlight, deinstall, getDrawsLayeredHighlights, getHighlights, install, paint, paintLayeredHighlights, removeAllHighlights, removeHighlight, setDrawsLayeredHighlightsGenerated by SciJava from the sources of OpenJDK 8 (Zulu), which are licensed under the GNU General Public License, version 2, with the Classpath Exception. Java and OpenJDK are trademarks or registered trademarks of Oracle and/or its affiliates.