redo method
void
redo()
Implementation
void redo() {
if (_future.isEmpty) return;
_past.add(_snapshot());
_apply(_future.removeLast(), record: false);
}
void redo() {
if (_future.isEmpty) return;
_past.add(_snapshot());
_apply(_future.removeLast(), record: false);
}