javax.swing.undo
import javax.swing.text.Document;
import javax.swing.undo.UndoManager;
class TextEditor {
private UndoManager undoManager = new UndoManager();
private Document document;
public void undo() {
if (undoManager.canUndo()) {
undoManager.undo();
}
}
public void redo() {
if (undoManager.canRedo()) {
undoManager.redo();
}
}
public void addUndoableEdit(UndoableEdit edit) {
undoManager.addEdit(edit);
}
// ...
}