public class DummyFoldHandler extends FoldHandler
foldHandlerProvider
Constructor and Description |
---|
DummyFoldHandler() |
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.
|
equals, getFoldHandler, getFoldModes, getName, getPrecedingFoldLevels, 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 necessary