| java.lang.Object org.gjt.sp.jedit.buffer.LineManager
LineManager | public class LineManager (Code) | | A class internal to jEdit's document model. You should not use it
directly. To improve performance, none of the methods in this class
check for out of bounds access, nor are they thread-safe. The
Buffer class, through which these methods must be
called through, implements such protection.
author: Slava Pestov version: $Id: LineManager.java 5484 2006-06-23 21:59:52Z kpouer $ since: jEdit 4.2pre3 |
LineManager | public LineManager()(Code) | | |
contentInserted | public void contentInserted(int startLine, int offset, int numLines, int length, IntegerArray endOffsets)(Code) | | |
contentRemoved | public void contentRemoved(int startLine, int offset, int numLines, int length)(Code) | | |
getFirstInvalidFoldLevel | public int getFirstInvalidFoldLevel()(Code) | | |
getFirstInvalidLineContext | public int getFirstInvalidLineContext()(Code) | | |
getFoldLevel | final public int getFoldLevel(int line)(Code) | | |
getLineCount | final public int getLineCount()(Code) | | |
getLineEndOffset | final public int getLineEndOffset(int line)(Code) | | |
getLineOfOffset | public int getLineOfOffset(int offset)(Code) | | |
setFirstInvalidFoldLevel | public void setFirstInvalidFoldLevel(int firstInvalidFoldLevel)(Code) | | |
setFirstInvalidLineContext | public void setFirstInvalidLineContext(int firstInvalidLineContext)(Code) | | |
setFoldLevel | final public void setFoldLevel(int line, int level)(Code) | | |
|
|