public class CountingUndoManager
extends javax.swing.undo.UndoManager
Constructor and Description |
---|
CountingUndoManager(BasePanel basePanel) |
Modifier and Type | Method and Description |
---|---|
boolean |
addEdit(javax.swing.undo.UndoableEdit edit) |
boolean |
hasChanged() |
void |
markUnchanged() |
void |
redo() |
void |
undo() |
canRedo, canUndo, canUndoOrRedo, discardAllEdits, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, redoTo, setLimit, toString, trimEdits, trimForLimit, undoableEditHappened, undoOrRedo, undoTo
public CountingUndoManager(BasePanel basePanel)
public boolean addEdit(javax.swing.undo.UndoableEdit edit)
addEdit
in interface javax.swing.undo.UndoableEdit
addEdit
in class javax.swing.undo.UndoManager
public void undo() throws javax.swing.undo.CannotUndoException
undo
in interface javax.swing.undo.UndoableEdit
undo
in class javax.swing.undo.UndoManager
javax.swing.undo.CannotUndoException
public void redo() throws javax.swing.undo.CannotUndoException
redo
in interface javax.swing.undo.UndoableEdit
redo
in class javax.swing.undo.UndoManager
javax.swing.undo.CannotUndoException
public void markUnchanged()
public boolean hasChanged()