historyClear method

void historyClear()

Implementation

void historyClear() {
  history.clear();
  _index = -1;
  _updateFlags();
}