Method refresh

src/ide.ts:1035–1037

()

  }

  refresh() {
    this.cm.refresh();
  }

  queueUpdate = debounce((shouldEval = false) => {
    if(!this.reloading && this.denormalizedSpans.length === 0) this.ide.queueUpdate(shouldEval);