| java.lang.Object
 org.gjt.sp.jedit.buffer.UndoManager
| UndoManager | | public class UndoManager (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: UndoManager.java 9059 2007-03-02 05:24:57Z vanza $
since:
jEdit 4.0pre1 |
| Inner Class :abstract static class Edit | |
| Inner Class :static class Insert extends Edit | |
| Inner Class :public static class Remove extends Edit | |
| Inner Class :static class CompoundEdit extends Edit | |
| beginCompoundEdit | | public void beginCompoundEdit()(Code) | | |
| bufferSaved | | public void bufferSaved()(Code) | | |
| clear | | public void clear()(Code) | | |
| contentInserted | | public void contentInserted(int offset, int length, String text, boolean clearDirty)(Code) | | |
| contentRemoved | | public void contentRemoved(int offset, int length, String text, boolean clearDirty)(Code) | | |
| endCompoundEdit | | public void endCompoundEdit()(Code) | | |
| insideCompoundEdit | | public boolean insideCompoundEdit()(Code) | | |
| resetClearDirty | | public void resetClearDirty()(Code) | | |
| setLimit | | public void setLimit(int limit)(Code) | | |
|
|