Package org.languagetool.gui
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 Color
private static final BasicStroke
private static final BasicStroke
private static final BasicStroke
private final Color
private static final BasicStroke
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprivate void
drawCurvedLine
(Graphics g, Rectangle rect) private void
paintLayer
(Graphics g, int offs0, int offs1, Shape bounds, JTextComponent c, View view) Methods inherited from class javax.swing.text.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:
paintLayer
in classDefaultHighlighter.DefaultHighlightPainter
-
drawCurvedLine
-
drawLine
-