Function heightAtLine

external/.scrollLibs.js:1590–1614

(lineObj)

  // Find the height above the given line.
  function heightAtLine(lineObj) {
    lineObj = visualLine(lineObj)

    var h = 0,
      chunk = lineObj.parent
    for (var i = 0; i < chunk.lines.length; ++i) {
      var line = chunk.lines[i]
      if (line == lineObj) {
        break
      } else {
        h += line.height
      }
    }
    for (var p = chunk.parent; p; chunk = p, p = chunk.parent) {
      for (var i$1 = 0; i$1 < p.children.length; ++i$1) {
        var cur = p.children[i$1]
        if (cur == chunk) {
          break
        } else {
          h += cur.height
        }
      }
    }
    return h
  }

  // Compute the character length of a line, taking into account
  // collapsed ranges (see markText) that might hide parts, and join