org.gjt.sp.jedit.buffer
Class ExplicitFoldHandler
java.lang.Object
org.gjt.sp.jedit.buffer.FoldHandler
org.gjt.sp.jedit.buffer.ExplicitFoldHandler
- public class ExplicitFoldHandler
- extends FoldHandler
A fold handler that folds lines based on markers ("{{{" and "}}}")
embedded in the text.
- Since:
- jEdit 4.0pre1
- Version:
- $Id: ExplicitFoldHandler.java,v 1.8 2003/11/18 20:51:57 spestov Exp $
- Author:
- Slava Pestov
ExplicitFoldHandler
public ExplicitFoldHandler()
getFoldLevel
public int getFoldLevel(Buffer buffer,
int lineIndex,
Segment seg)
- Returns the fold level of the specified line.
- Specified by:
getFoldLevel
in class FoldHandler
- Parameters:
buffer
- The buffer in questionlineIndex
- The line indexseg
- A segment the fold handler can use to obtain any
text from the buffer, if necessary
- Returns:
- The fold level of the specified line
- Since:
- jEdit 4.0pre1