|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use FoldPainter | |
|---|---|
| org.gjt.sp.jedit.textarea | Since jEdit 4.2, many TextArea classes have been split into a base and derived class. |
| Uses of FoldPainter in org.gjt.sp.jedit.textarea |
|---|
| Classes in org.gjt.sp.jedit.textarea that implement FoldPainter | |
|---|---|
class |
CircleFoldPainter
|
class |
ShapedFoldPainter
Fold Painter |
class |
SquareFoldPainter
|
class |
TriangleFoldPainter
|
| Methods in org.gjt.sp.jedit.textarea that return FoldPainter | |
|---|---|
FoldPainter |
TextArea.getFoldPainter()
|
FoldPainter |
JEditTextArea.getFoldPainter()
|
| Methods in org.gjt.sp.jedit.textarea with parameters of type FoldPainter | |
|---|---|
void |
Gutter.setFoldPainter(FoldPainter painter)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||