Method revertDocument

src/ide.ts:2287–2295

()

  }

  revertDocument() {
    if(!this.documentId || !this.loaded) return;
    let docId = this.documentId;
    let saves = JSON.parse(localStorage.getItem("eve-saves") || "{}");
    delete saves[docId];
    localStorage.setItem("eve-saves", JSON.stringify(saves));
    this.documentId = undefined;
    this.loadFile(docId);
  }

  cloneDocument(neueId:string) {
    let oldId = this.documentId;