public class SquigglyUnderlinePainter
extends java.lang.Object
implements javax.swing.text.Highlighter.HighlightPainter
Constructor and Description |
---|
SquigglyUnderlinePainter(java.awt.Color highlightColor,
int squiggleSize,
float lineWidth)
Creates a new SquigglyUnderlinePainter.
|
Modifier and Type | Method and Description |
---|---|
void |
paint(java.awt.Graphics g,
int offs0,
int offs1,
java.awt.Shape bounds,
javax.swing.text.JTextComponent c) |
public SquigglyUnderlinePainter(java.awt.Color highlightColor, int squiggleSize, float lineWidth)
highlightColor
- the color of the linesquiggleSize
- the size (width) of a single arc of the painterlineWidth
- the line width of the squiggle (1 works best)Copyright © 2003-2019 The KeY-Project.