Highlighter
protected class PromptTextUI.PainterHighlighter extends Object implements Highlighter
Highlighter.Highlight, Highlighter.HighlightPainter
Constructor | Description |
---|---|
PainterHighlighter(Painter painter) |
Modifier and Type | Method | Description |
---|---|---|
Object |
addHighlight(int p0,
int p1,
Highlighter.HighlightPainter p) |
|
void |
changeHighlight(Object tag,
int p0,
int p1) |
|
void |
deinstall(JTextComponent c) |
|
Highlighter.Highlight[] |
getHighlights() |
|
void |
install(JTextComponent c) |
|
void |
paint(Graphics g) |
|
void |
removeAllHighlights() |
|
void |
removeHighlight(Object tag) |
public PainterHighlighter(Painter painter)
public Object addHighlight(int p0, int p1, Highlighter.HighlightPainter p) throws BadLocationException
addHighlight
in interface Highlighter
BadLocationException
public void changeHighlight(Object tag, int p0, int p1) throws BadLocationException
changeHighlight
in interface Highlighter
BadLocationException
public void deinstall(JTextComponent c)
deinstall
in interface Highlighter
public Highlighter.Highlight[] getHighlights()
getHighlights
in interface Highlighter
public void install(JTextComponent c)
install
in interface Highlighter
public void paint(Graphics g)
paint
in interface Highlighter
public void removeAllHighlights()
removeAllHighlights
in interface Highlighter
public void removeHighlight(Object tag)
removeHighlight
in interface Highlighter
Copyright © 2018. All rights reserved.