Method updateWidget

src/ide/spans.ts:1007–1014

()

  }

  updateWidget() {
    if(this.commentWidget) this.commentWidget.clear();
    let loc = this.find();
    if(!loc) return;
    this.widgetLine = loc.to.line;
    this.commentElem.textContent = this.message;
    this.commentWidget = this.editor.cm.addLineWidget(this.widgetLine, this.commentElem);
  }

  get kind() { return this.source.kind || "error"; }
  get message() { return this.source.message; }