Function estimateCoords

external/.scrollLibs.js:4041–4050

(cm, pos)

  // Used to cheaply estimate the coordinates for a position. Used for
  // intermediate scroll updates.
  function estimateCoords(cm, pos) {
    var left = 0
    pos = clipPos(cm.doc, pos)
    if (!cm.options.lineWrapping) {
      left = charWidth(cm.display) * pos.ch
    }
    var lineObj = getLine(cm.doc, pos.line)
    var top = heightAtLine(lineObj) + paddingTop(cm.display)
    return { left: left, right: left, top: top, bottom: top + lineObj.height }
  }

  // Positions returned by coordsChar contain some extra information.
  // xRel is the relative x position of the input coordinates compared