org.gjt.sp.jedit.buffer
Class UndoManager

java.lang.Object
  |
  +--org.gjt.sp.jedit.buffer.UndoManager

public class UndoManager
extends java.lang.Object

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.

Since:
jEdit 4.0pre1
Version:
$Id: UndoManager.java,v 1.13 2003/01/31 18:28:51 spestov Exp $
Author:
Slava Pestov

Constructor Summary
UndoManager(Buffer buffer)
           
 
Method Summary
 void beginCompoundEdit()
           
 void bufferSaved()
           
 void clear()
           
 void contentInserted(int offset, int length, java.lang.String text, boolean clearDirty)
           
 void contentRemoved(int offset, int length, java.lang.String text, boolean clearDirty)
           
 void endCompoundEdit()
           
 boolean insideCompoundEdit()
           
 boolean redo(JEditTextArea textArea)
           
 void setLimit(int limit)
           
 boolean undo(JEditTextArea textArea)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UndoManager

public UndoManager(Buffer buffer)
Method Detail

setLimit

public void setLimit(int limit)

clear

public void clear()

undo

public boolean undo(JEditTextArea textArea)

redo

public boolean redo(JEditTextArea textArea)

beginCompoundEdit

public void beginCompoundEdit()

endCompoundEdit

public void endCompoundEdit()

insideCompoundEdit

public boolean insideCompoundEdit()

contentInserted

public void contentInserted(int offset,
                            int length,
                            java.lang.String text,
                            boolean clearDirty)

contentRemoved

public void contentRemoved(int offset,
                           int length,
                           java.lang.String text,
                           boolean clearDirty)

bufferSaved

public void bufferSaved()