public class TextUndoManager
extends javax.swing.undo.UndoManager
| Constructor and Description |
|---|
TextUndoManager()
Creates a new instance of TextUndoManager.
|
| Modifier and Type | Method and Description |
|---|---|
void |
addPropertyChangeListener(java.beans.PropertyChangeListener pcl) |
void |
die() |
void |
discardAllEdits() |
protected void |
firePropertyChangeEvent(java.lang.String name,
boolean oldValue,
boolean newValue) |
boolean |
hasChanged() |
void |
redo() |
protected void |
redoTo(javax.swing.undo.UndoableEdit edit) |
void |
removePropertyChangeListener(java.beans.PropertyChangeListener pcl) |
void |
reset() |
protected void |
trimEdits(int from,
int to) |
void |
undo() |
void |
undoableEditHappened(javax.swing.event.UndoableEditEvent uee) |
addEdit, canRedo, canUndo, canUndoOrRedo, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, setLimit, toString, trimForLimit, undoOrRedo, undoTopublic TextUndoManager()
public void addPropertyChangeListener(java.beans.PropertyChangeListener pcl)
public void die()
die in interface javax.swing.undo.UndoableEditdie in class javax.swing.undo.CompoundEditpublic void discardAllEdits()
discardAllEdits in class javax.swing.undo.UndoManagerprotected void firePropertyChangeEvent(java.lang.String name,
boolean oldValue,
boolean newValue)
public boolean hasChanged()
public void redo()
throws javax.swing.undo.CannotRedoException
redo in interface javax.swing.undo.UndoableEditredo in class javax.swing.undo.UndoManagerjavax.swing.undo.CannotRedoExceptionprotected void redoTo(javax.swing.undo.UndoableEdit edit)
redoTo in class javax.swing.undo.UndoManagerpublic void removePropertyChangeListener(java.beans.PropertyChangeListener pcl)
public void reset()
protected void trimEdits(int from,
int to)
trimEdits in class javax.swing.undo.UndoManagerpublic void undo()
throws javax.swing.undo.CannotUndoException
undo in interface javax.swing.undo.UndoableEditundo in class javax.swing.undo.UndoManagerjavax.swing.undo.CannotUndoExceptionpublic void undoableEditHappened(javax.swing.event.UndoableEditEvent uee)
undoableEditHappened in interface javax.swing.event.UndoableEditListenerundoableEditHappened in class javax.swing.undo.UndoManager