undo method

void undo()

Implementation

void undo() {
  final tup = document.undo();
  if (tup.item1) {
    _handleHistoryChange(tup.item2);
  }
}