close method

void close()

Implementation

void close() {
  documentChangeObserver.close();
  history.clear();
}