revert method

void revert()

Discard pending edits and any explicitly applied optimistic patch.

Implementation

void revert() {
  _restorePreviousPatch();
  state = state.revert();
}