redo method

void redo()

Implementation

void redo() {
  if (_future.isEmpty) return;
  _past.add(_roots);
  _roots = _future.removeLast();
  notifyListeners();
}