public class ErrorHighlighterPainter extends DefaultHighlighter.DefaultHighlightPainter
| Constructor and Description |
|---|
ErrorHighlighterPainter() |
ErrorHighlighterPainter(Color color) |
| Modifier and Type | Method and Description |
|---|---|
Color |
getErrorColor() |
boolean |
isHighlightBackground() |
void |
paint(Graphics g,
int p0,
int p1,
Shape shape,
JTextComponent c) |
Shape |
paintLayer(Graphics g,
int offs0,
int offs1,
Shape bounds,
JTextComponent c,
View view) |
static void |
paintWaveLine(Graphics g,
int x1,
int x2,
int y1) |
static void |
paintWaveLine(Graphics g,
JTextComponent c,
int p0,
int p1) |
void |
setErrorColor(Color color) |
void |
setHighlightBackground(boolean hi) |
getColorpublic ErrorHighlighterPainter()
public ErrorHighlighterPainter(Color color)
public void setErrorColor(Color color)
public Color getErrorColor()
public void setHighlightBackground(boolean hi)
public boolean isHighlightBackground()
public static void paintWaveLine(Graphics g, int x1, int x2, int y1)
public static void paintWaveLine(Graphics g, JTextComponent c, int p0, int p1) throws BadLocationException
BadLocationExceptionpublic Shape paintLayer(Graphics g, int offs0, int offs1, Shape bounds, JTextComponent c, View view)
paintLayer in class DefaultHighlighter.DefaultHighlightPainterpublic void paint(Graphics g, int p0, int p1, Shape shape, JTextComponent c)
paint in interface Highlighter.HighlightPainterpaint in class DefaultHighlighter.DefaultHighlightPainterCopyright © 2020. All rights reserved.