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