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