public class DummyFoldHandler extends FoldHandler
foldHandlerProvider
Constructor | Description |
---|---|
DummyFoldHandler() |
Modifier and Type | Method | 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