public class UndoManager
extends java.lang.Object
Buffer
class, through which these methods must be
called through, implements such protection.Constructor and Description |
---|
UndoManager(JEditBuffer buffer) |
Modifier and Type | Method and Description |
---|---|
void |
beginCompoundEdit() |
boolean |
canRedo() |
boolean |
canUndo() |
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() |
java.lang.Object |
getUndoId() |
boolean |
insideCompoundEdit() |
Selection[] |
redo() |
void |
resetClearDirty() |
void |
setLimit(int limit) |
Selection[] |
undo() |
public UndoManager(JEditBuffer buffer)
public void setLimit(int limit)
public void clear()
public boolean canUndo()
public Selection[] undo()
public boolean canRedo()
public Selection[] redo()
public void beginCompoundEdit()
public void endCompoundEdit()
public boolean insideCompoundEdit()
public java.lang.Object getUndoId()
public void contentInserted(int offset, int length, java.lang.String text, boolean clearDirty)
public void contentRemoved(int offset, int length, java.lang.String text, boolean clearDirty)
public void resetClearDirty()