clear method

void clear()

Clears the undo/redo history.

Implementation

void clear() {
  _past.clear();
  _future.clear();
}