public class IndentFoldHandler extends FoldHandler
foldHandlerProvider
Constructor and Description |
---|
IndentFoldHandler() |
Modifier and Type | Method and Description |
---|---|
int |
getFoldLevel(JEditBuffer buffer,
int lineIndex,
javax.swing.text.Segment seg)
Returns the fold level of the specified line.
|
java.util.List<java.lang.Integer> |
getPrecedingFoldLevels(JEditBuffer buffer,
int lineIndex,
javax.swing.text.Segment seg,
int lineFoldLevel)
Returns the fold levels of the lines preceding the specified line,
which depend on the specified line.
|
equals, getFoldHandler, getFoldModes, getName, hashCode, toString
public int getFoldLevel(JEditBuffer buffer, int lineIndex, javax.swing.text.Segment seg)
getFoldLevel
in class FoldHandler
buffer
- The buffer in questionlineIndex
- The line indexseg
- A segment the fold handler can use to obtain any
text from the buffer, if necessarypublic java.util.List<java.lang.Integer> getPrecedingFoldLevels(JEditBuffer buffer, int lineIndex, javax.swing.text.Segment seg, int lineFoldLevel)
getPrecedingFoldLevels
in class FoldHandler
buffer
- The buffer in questionlineIndex
- The line indexseg
- A segment the fold handler can use to obtain anylineFoldLevel
- The fold level of the specified line