| java.lang.Object
 org.gjt.sp.jedit.buffer.ContentManager
| ContentManager | | public class ContentManager (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: ContentManager.java 4524 2003-03-09 19:26:05Z spestov $
since:
jEdit 4.0pre1 |
| _setContent | | public void _setContent(char[] text, int length)(Code) | | |
| getLength | | final public int getLength()(Code) | | |
| getText | | public void getText(int start, int len, Segment seg)(Code) | | |
| remove | | public void remove(int start, int len)(Code) | | |
|
|