public interface LineMarkerRenderer
Modifier and Type | Method and Description |
---|---|
void |
paint(Editor editor,
java.awt.Graphics g,
java.awt.Rectangle r)
Draws the line marker over the specified rectangle.
|
void paint(Editor editor, java.awt.Graphics g, java.awt.Rectangle r)
editor
- the editor to which the line marker belongs.g
- the graphics in which the line marker should be painted.r
- the rectangle in which the line marker should be painted
(the left and right coordinates are defined by the area in which
line markers may be painted, and the top and bottom coordinates are
the top of the first line covered by the associated range highlighter
and the bottom of the last line).