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

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)

Methods inherited from class javax.swing.text.DefaultHighlighter.DefaultHighlightPainter

getColor, paint

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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

Constructor Detail

HighlightPainter

HighlightPainter(java.awt.Color backgroundColor,
                 java.awt.Color underlineColor)

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 class javax.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)