public class TextUndoManager
extends javax.swing.undo.UndoManager
| Constructor | Description |
|---|---|
TextUndoManager() |
Creates a new instance of TextUndoManager.
|
| Modifier and Type | Method | 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) |
getPresentationName, isInProgress, isSignificant, lastEditpublic TextUndoManager()
public void addPropertyChangeListener(java.beans.PropertyChangeListener pcl)
public void die()
die 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 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 class javax.swing.undo.UndoManagerjavax.swing.undo.CannotUndoExceptionpublic void undoableEditHappened(javax.swing.event.UndoableEditEvent uee)
undoableEditHappened in class javax.swing.undo.UndoManager