Method reset

src/ide.ts:758–769

()

  }

  reset() {
    this.history.position = 0;
    this.history.items = [];
    this.history.transitioning = true;
    this.reloading = true;
    this.cm.setValue("");
    for(let span of this.getAllSpans()) {
      span.clear();
    }
    this.reloading = false;
    this.history.transitioning = false;
  }

  // This is a new document and we need to rebuild it from scratch.
  loadDocument(id:string, text:string, packed:any[], attributes:{[id:string]: any|undefined}) {