public interface FoldPainter
Modifier and Type | Method and Description |
---|---|
void |
paintFoldEnd(Gutter gutter,
java.awt.Graphics2D gfx,
int screenLine,
int physicalLine,
int y,
int lineHeight,
JEditBuffer buffer)
Paints the end of a fold in the gutter.
|
void |
paintFoldMiddle(Gutter gutter,
java.awt.Graphics2D gfx,
int screenLine,
int physicalLine,
int y,
int lineHeight,
JEditBuffer buffer)
Paints the middle of a fold (single line) in the gutter.
|
void |
paintFoldStart(Gutter gutter,
java.awt.Graphics2D gfx,
int screenLine,
int physicalLine,
boolean nextLineVisible,
int y,
int lineHeight,
JEditBuffer buffer)
Paints the beginning of a fold in the gutter.
|
void paintFoldStart(Gutter gutter, java.awt.Graphics2D gfx, int screenLine, int physicalLine, boolean nextLineVisible, int y, int lineHeight, JEditBuffer buffer)
gutter
- The gutter in which the fold is drawn.gfx
- The graphics object to use for the painting.screenLine
- The index of the line on the screen (e.g. 5th from top).physicalLine
- The index of the line in the buffer.nextLineVisible
- Whether the next buffer line is visible on screen.y
- The y coordinate of the top of the line on the screen.lineHeight
- The line height in pixels.buffer
- The buffer to which the line belongs.void paintFoldEnd(Gutter gutter, java.awt.Graphics2D gfx, int screenLine, int physicalLine, int y, int lineHeight, JEditBuffer buffer)
gutter
- The gutter in which the fold is drawn.gfx
- The graphics object to use for the painting.screenLine
- The index of the line on the screen (e.g. 5th from top).physicalLine
- The index of the line in the buffer.y
- The y coordinate of the top of the line on the screen.lineHeight
- The line height in pixels.buffer
- The buffer to which the line belongs.void paintFoldMiddle(Gutter gutter, java.awt.Graphics2D gfx, int screenLine, int physicalLine, int y, int lineHeight, JEditBuffer buffer)
gutter
- The gutter in which the fold is drawn.gfx
- The graphics object to use for the painting.screenLine
- The index of the line on the screen (e.g. 5th from top).physicalLine
- The index of the line in the buffer.y
- The y coordinate of the top of the line on the screen.lineHeight
- The line height in pixels.buffer
- The buffer to which the line belongs.