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:
javax.swing.text.Highlighter.HighlightPainter
class HighlightPainter extends javax.swing.text.DefaultHighlighter.DefaultHighlightPainter
Wavy underline painter.- Since:
- 3.3
-
-
Field Summary
Fields Modifier and Type Field Description private java.awt.Color
backgroundColor
private static java.awt.BasicStroke
OO_STROKE1
private static java.awt.BasicStroke
OO_STROKE2
private static java.awt.BasicStroke
OO_STROKE3
private java.awt.Color
underlineColor
private static java.awt.BasicStroke
ZIGZAG_STROKE1
-
Constructor Summary
Constructors Constructor Description HighlightPainter(java.awt.Color backgroundColor, java.awt.Color underlineColor)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description private void
drawCurvedLine(java.awt.Graphics g, java.awt.Rectangle rect)
private void
drawLine(java.awt.Graphics g, java.awt.Rectangle rect)
java.awt.Shape
paintLayer(java.awt.Graphics g, int offs0, int offs1, java.awt.Shape bounds, javax.swing.text.JTextComponent c, javax.swing.text.View view)
-
-
-
Field Detail
-
OO_STROKE1
private static final java.awt.BasicStroke OO_STROKE1
-
OO_STROKE2
private static final java.awt.BasicStroke OO_STROKE2
-
OO_STROKE3
private static final java.awt.BasicStroke OO_STROKE3
-
ZIGZAG_STROKE1
private static final java.awt.BasicStroke ZIGZAG_STROKE1
-
underlineColor
private final java.awt.Color underlineColor
-
backgroundColor
private final java.awt.Color backgroundColor
-
-
Method Detail
-
paintLayer
public java.awt.Shape paintLayer(java.awt.Graphics g, int offs0, int offs1, java.awt.Shape bounds, javax.swing.text.JTextComponent c, javax.swing.text.View view)
- Overrides:
paintLayer
in classjavax.swing.text.DefaultHighlighter.DefaultHighlightPainter
-
drawCurvedLine
private void drawCurvedLine(java.awt.Graphics g, java.awt.Rectangle rect)
-
drawLine
private void drawLine(java.awt.Graphics g, java.awt.Rectangle rect)
-
-