| java.lang.Object org.gjt.sp.jedit.buffer.FoldHandler org.gjt.sp.jedit.buffer.IndentFoldHandler
IndentFoldHandler | public class IndentFoldHandler extends FoldHandler (Code) | | A fold handler that folds lines based on their indent level.
author: Slava Pestov version: $Id: IndentFoldHandler.java 5339 2006-01-25 23:12:07Z spestov $ since: jEdit 4.0pre1 |
IndentFoldHandler | public IndentFoldHandler()(Code) | | |
getFoldLevel | public int getFoldLevel(JEditBuffer buffer, int lineIndex, Segment seg)(Code) | | Returns the fold level of the specified line.
Parameters: buffer - The buffer in question Parameters: lineIndex - The line index Parameters: seg - A segment the fold handler can use to obtain anytext from the buffer, if necessary The fold level of the specified line since: jEdit 4.0pre1 |
|
|