public abstract class ShapedFoldPainter extends java.lang.Object implements FoldPainter
| Constructor and Description | 
|---|
| ShapedFoldPainter() | 
| 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. | 
| protected abstract void | paintFoldShape(java.awt.Graphics2D gfx,
              int top,
              int bottom) | 
| 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 paintFoldEnd(Gutter gutter, java.awt.Graphics2D gfx, int screenLine, int physicalLine, int y, int lineHeight, JEditBuffer buffer)
FoldPainterpaintFoldEnd in interface FoldPaintergutter - 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)
FoldPainterpaintFoldMiddle in interface FoldPaintergutter - 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 paintFoldStart(Gutter gutter, java.awt.Graphics2D gfx, int screenLine, int physicalLine, boolean nextLineVisible, int y, int lineHeight, JEditBuffer buffer)
FoldPainterpaintFoldStart in interface FoldPaintergutter - 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.protected abstract void paintFoldShape(java.awt.Graphics2D gfx,
                                       int top,
                                       int bottom)