| java.lang.Object org.gjt.sp.jedit.buffer.FoldHandler org.gjt.sp.jedit.buffer.DummyFoldHandler
DummyFoldHandler | public class DummyFoldHandler extends FoldHandler (Code) | | A fold handler that does nothing.
author: Slava Pestov version: $Id: DummyFoldHandler.java 5339 2006-01-25 23:12:07Z spestov $ since: jEdit 4.0pre1 |
DummyFoldHandler | public DummyFoldHandler()(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 |
|
|