org.gjt.sp.jedit.textarea
Class CircleFoldPainter

java.lang.Object
  extended by org.gjt.sp.jedit.textarea.ShapedFoldPainter
      extended by org.gjt.sp.jedit.textarea.CircleFoldPainter
All Implemented Interfaces:
FoldPainter

public class CircleFoldPainter
extends ShapedFoldPainter


Constructor Summary
CircleFoldPainter()
           
 
Method Summary
protected  void paintFoldShape(java.awt.Graphics2D gfx, int top, int bottom)
           
 
Methods inherited from class org.gjt.sp.jedit.textarea.ShapedFoldPainter
paintFoldEnd, paintFoldMiddle, paintFoldStart
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CircleFoldPainter

public CircleFoldPainter()
Method Detail

paintFoldShape

protected void paintFoldShape(java.awt.Graphics2D gfx,
                              int top,
                              int bottom)
Specified by:
paintFoldShape in class ShapedFoldPainter