| java.lang.Object org.gjt.sp.jedit.buffer.FoldHandler org.gjt.sp.jedit.buffer.ExplicitFoldHandler
ExplicitFoldHandler | public class ExplicitFoldHandler extends FoldHandler (Code) | | A fold handler that folds lines based on markers ("{{{" and "}}}")
embedded in the text.
author: Slava Pestov version: $Id: ExplicitFoldHandler.java 5339 2006-01-25 23:12:07Z spestov $ since: jEdit 4.0pre1 |
ExplicitFoldHandler | public ExplicitFoldHandler()(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 |
|
|