Module jEdit

Package org.gjt.sp.jedit.textarea

Class CircleFoldPainter

java.lang.Object

org.gjt.sp.jedit.textarea.ShapedFoldPainter

org.gjt.sp.jedit.textarea.CircleFoldPainter

All Implemented Interfaces:

FoldPainter

public class CircleFoldPainter
extends ShapedFoldPainter

Constructor Summary

Constructors

Constructor	Description
CircleFoldPainter()

Method Summary

Modifier and Type	Method	Description
protected void	paintFoldShape(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 Details

CircleFoldPainter

public CircleFoldPainter()

Method Details

paintFoldShape

protected void paintFoldShape(Graphics2D gfx,
 int top,
 int bottom)

Specified by:

paintFoldShape in class ShapedFoldPainter