docs: function resolveScrollToPos(cm) {
    let range = cm.curOp.scrollToPos
    if (range) {
      cm.curOp.scrollToPos = null
      let from = estimateCoords(cm, range.from), to = estimateCoords(cm, range.to)
      scrollToCoordsRange(cm, from, to, range.margin)
    }
  }