undo method

void undo()

Implementation

void undo() {
  final result = document.undo();
  if (result.changed) {
    _handleHistoryChange(result.len);
  }
}