protected class PromptTextUI.PainterHighlighter extends Object implements Highlighter
Highlighter.Highlight, Highlighter.HighlightPainter
Modifier and Type | Field and Description |
---|---|
private JTextComponent |
c |
private Painter |
painter |
Constructor and Description |
---|
PainterHighlighter(Painter painter) |
Modifier and Type | Method and 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) |
private JTextComponent c
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
WebARTS Library Licensed Under the GNU - General Public License. Other Libraries licensed under their respective Open Source Licenses