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