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) |