public class SideKickFoldHandler
extends org.gjt.sp.jedit.buffer.FoldHandler
| Constructor and Description |
|---|
SideKickFoldHandler() |
| Modifier and Type | Method and Description |
|---|---|
int |
getFoldLevel(org.gjt.sp.jedit.buffer.JEditBuffer buffer,
int lineIndex,
javax.swing.text.Segment seg) |