Method tokenInfo

src/ide.ts:2424–2431

()

  }

  tokenInfo() {
    let doc = this.editor.cm.getDoc();
    let cursor = doc.getCursor();
    let spans = this.editor.findSpansAt(cursor).filter((span) => span instanceof Spans.ParserSpan);
    if(spans.length && this.onTokenInfo) {
      this.onTokenInfo(this, spans[0].source.id);
    }
  }

  monitorInputState() {
    window.addEventListener("mousedown", this.updateMouseInputState);