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
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
paintFoldShape(java.awt.Graphics2D gfx, int top, int bottom)
-
Methods inherited from class org.gjt.sp.jedit.textarea.ShapedFoldPainter
paintFoldEnd, paintFoldMiddle, paintFoldStart
-
-
-
-
Method Detail
-
paintFoldShape
protected void paintFoldShape(java.awt.Graphics2D gfx, int top, int bottom)
- Specified by:
paintFoldShape
in classShapedFoldPainter
-
-