public class TriangleFoldPainter extends java.lang.Object implements FoldPainter
Constructor and Description |
---|
TriangleFoldPainter() |
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.
|
public void paintFoldStart(Gutter gutter, java.awt.Graphics2D gfx, int screenLine, int physicalLine, boolean nextLineVisible, int y, int lineHeight, JEditBuffer buffer)
FoldPainter
paintFoldStart
in interface FoldPainter
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.public void paintFoldEnd(Gutter gutter, java.awt.Graphics2D gfx, int screenLine, int physicalLine, int y, int lineHeight, JEditBuffer buffer)
FoldPainter
paintFoldEnd
in interface FoldPainter
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.public void paintFoldMiddle(Gutter gutter, java.awt.Graphics2D gfx, int screenLine, int physicalLine, int y, int lineHeight, JEditBuffer buffer)
FoldPainter
paintFoldMiddle
in interface FoldPainter
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.