org.gjt.sp.jedit.textarea
Class ShapedFoldPainter

java.lang.Object
  extended by org.gjt.sp.jedit.textarea.ShapedFoldPainter
All Implemented Interfaces:
FoldPainter
Direct Known Subclasses:
CircleFoldPainter, SquareFoldPainter

public abstract class ShapedFoldPainter
extends java.lang.Object
implements FoldPainter

Fold Painter


Constructor Summary
ShapedFoldPainter()
           
 
Method Summary
 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.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ShapedFoldPainter

public ShapedFoldPainter()
Method Detail

paintFoldEnd

public void paintFoldEnd(Gutter gutter,
                         java.awt.Graphics2D gfx,
                         int screenLine,
                         int physicalLine,
                         int y,
                         int lineHeight,
                         JEditBuffer buffer)
Description copied from interface: FoldPainter
Paints the end of a fold in the gutter.

Specified by:
paintFoldEnd in interface FoldPainter
Parameters:
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.

paintFoldMiddle

public void paintFoldMiddle(Gutter gutter,
                            java.awt.Graphics2D gfx,
                            int screenLine,
                            int physicalLine,
                            int y,
                            int lineHeight,
                            JEditBuffer buffer)
Description copied from interface: FoldPainter
Paints the middle of a fold (single line) in the gutter.

Specified by:
paintFoldMiddle in interface FoldPainter
Parameters:
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.

paintFoldStart

public void paintFoldStart(Gutter gutter,
                           java.awt.Graphics2D gfx,
                           int screenLine,
                           int physicalLine,
                           boolean nextLineVisible,
                           int y,
                           int lineHeight,
                           JEditBuffer buffer)
Description copied from interface: FoldPainter
Paints the beginning of a fold in the gutter.

Specified by:
paintFoldStart in interface FoldPainter
Parameters:
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.

paintFoldShape

protected abstract void paintFoldShape(java.awt.Graphics2D gfx,
                                       int top,
                                       int bottom)