Method loadDocument

src/ide.ts:2214–2237

(generation:number, text:string, packed:any[], attributes:{[id:string]: any|undefined}, css:string)

  }

  loadDocument(generation:number, text:string, packed:any[], attributes:{[id:string]: any|undefined}, css:string) {
    if(generation < this.generation && generation !== undefined) return;
    if(this.loaded) {
      this.editor.updateDocument(packed, attributes);
    } else {
      this.editor.loadDocument(this.documentId, text, packed, attributes);
      this.loaded = true;
      this.loading = false;
    }

    if(this.documentId) {
      let name = this.documentId; // @FIXME
      this.navigator.loadDocument(this.documentId, name);
      this.navigator.currentId = this.documentId;
      this.comments.update();
    } else {
      // Empty file
    }

    document.getElementById("app-styles").innerHTML = css;
    document.getElementsByClassName("CodeMirror")[0].classList.remove("cm-s-default"); // remove document wide code-styling

    this.render();
  }

  saveDocument() {
    if(!this.documentId || !this.loaded) return;