redo method

void redo()

Implementation

void redo() {
  if (_redo.isEmpty) return;
  _undo.add(_document.toJson());
  _document = DVWorkflowDocument.fromJson(_redo.removeLast());
  _dropDanglingSelection();
  notifyListeners();
}