Function estimateLineHeights

external/.scrollLibs.js:4375–4384

(cm)

  }

  function estimateLineHeights(cm) {
    var doc = cm.doc,
      est = estimateHeight(cm)
    doc.iter(function (line) {
      var estHeight = est(line)
      if (estHeight != line.height) {
        updateLineHeight(line, estHeight)
      }
    })
  }

  // Given a mouse event, find the corresponding position. If liberal
  // is false, it checks whether a gutter or scrollbar was clicked,