public class DefaultHighlighter extends LayeredHighlighter
Modifier and Type | Class and Description |
---|---|
static class |
DefaultHighlighter.DefaultHighlightPainter |
LayeredHighlighter.LayerPainter
Highlighter.Highlight, Highlighter.HighlightPainter
Modifier and Type | Field and Description |
---|---|
static LayeredHighlighter.LayerPainter |
DefaultPainter |
Constructor and Description |
---|
DefaultHighlighter() |
Modifier and Type | Method and Description |
---|---|
Object |
addHighlight(int p0,
int p1,
Highlighter.HighlightPainter painter) |
void |
changeHighlight(Object tag,
int n0,
int n1) |
void |
deinstall(JTextComponent c) |
boolean |
getDrawsLayeredHighlights() |
Highlighter.Highlight[] |
getHighlights() |
void |
install(JTextComponent c) |
void |
paint(Graphics g) |
void |
paintLayeredHighlights(Graphics g,
int p0,
int p1,
Shape viewBounds,
JTextComponent editor,
View view) |
void |
removeAllHighlights() |
void |
removeHighlight(Object tag) |
void |
setDrawsLayeredHighlights(boolean newValue) |
public static final LayeredHighlighter.LayerPainter DefaultPainter
public DefaultHighlighter()
public boolean getDrawsLayeredHighlights()
public void setDrawsLayeredHighlights(boolean newValue)
public void install(JTextComponent c)
public void deinstall(JTextComponent c)
public Object addHighlight(int p0, int p1, Highlighter.HighlightPainter painter) throws BadLocationException
BadLocationException
public void removeHighlight(Object tag)
public void removeAllHighlights()
public Highlighter.Highlight[] getHighlights()
public void changeHighlight(Object tag, int n0, int n1) throws BadLocationException
BadLocationException
public void paintLayeredHighlights(Graphics g, int p0, int p1, Shape viewBounds, JTextComponent editor, View view)
paintLayeredHighlights
in class LayeredHighlighter