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
aicas GmbH, Karlsruhe, Germany —www.aicas.com
Copyright © 2001-2019 aicas GmbH. All Rights Reserved.