Class HighlightPainter
java.lang.Object
javax.swing.text.LayeredHighlighter.LayerPainter
javax.swing.text.DefaultHighlighter.DefaultHighlightPainter
org.languagetool.gui.HighlightPainter
- All Implemented Interfaces:
Highlighter.HighlightPainter
Wavy underline painter.
- Since:
- 3.3
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final Colorprivate static final BasicStrokeprivate static final BasicStrokeprivate static final BasicStrokeprivate final Colorprivate static final BasicStroke -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate voiddrawCurvedLine(Graphics g, Rectangle rect) private voidpaintLayer(Graphics g, int offs0, int offs1, Shape bounds, JTextComponent c, View view) Methods inherited from class DefaultHighlighter.DefaultHighlightPainter
getColor, paint
-
Field Details
-
OO_STROKE1
-
OO_STROKE2
-
OO_STROKE3
-
ZIGZAG_STROKE1
-
underlineColor
-
backgroundColor
-
-
Constructor Details
-
HighlightPainter
-
-
Method Details
-
paintLayer
public Shape paintLayer(Graphics g, int offs0, int offs1, Shape bounds, JTextComponent c, View view) - Overrides:
paintLayerin classDefaultHighlighter.DefaultHighlightPainter
-
drawCurvedLine
-
drawLine
-