undo method
HistoryChanged
undo()
Implementation
HistoryChanged undo() {
cachedPlainText = null;
return history.undo(this);
}
undo method
HistoryChanged undo() {
cachedPlainText = null;
return history.undo(this);
}