Package | Description |
---|---|
org.gjt.sp.jedit.textarea |
Classes related to jEdit's TextArea.
|
Modifier and Type | Class and Description |
---|---|
class |
CircleFoldPainter |
class |
ShapedFoldPainter
Fold Painter
|
class |
SquareFoldPainter |
class |
TriangleFoldPainter |
Modifier and Type | Method and Description |
---|---|
FoldPainter |
TextArea.getFoldPainter() |
FoldPainter |
JEditTextArea.getFoldPainter() |
Modifier and Type | Method and Description |
---|---|
void |
Gutter.setFoldPainter(FoldPainter painter) |