Method loadDocument

src/ide.ts:772–804

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

  // 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}) {
    // Reset history and suppress storing the load as a history step.
    this.history.position = 0;
    this.history.items = [];
    this.history.transitioning = true;

    if(packed.length % 4 !== 0) throw new Error("Invalid span packing, unable to load.");
    this.cm.operation(() => {
      this.reloading = true;

      // this is a new document and we need to rebuild it from scratch.
      this.cm.setValue(text);
      let doc = this.cm.getDoc();

      for(let i = 0; i < packed.length; i += 4) {
        let from = doc.posFromIndex(packed[i]);
        let to = doc.posFromIndex(packed[i + 1]);
        let type = packed[i + 2];
        let id = packed[i + 3];

        //console.info(type, debugTokenWithContext(text, packed[i], packed[i + 1]));

        let source = attributes[id] || {};
        source.type = type;
        source.id = id;
        this.markSpan(from, to, source);
      }
    });
    this.reloading = false;
    this.history.transitioning = false;
    this.dirty = false;
    this._md = undefined;
  }

  // This is an update to an existing document, so we need to figure out what got added and removed.
  updateDocument(packed:any[], attributes:{[id:string]: any|undefined}) {