Function findViewIndex

external/.scrollLibs.js:4418–4433

(cm, n)

  // Find the view element corresponding to a given line. Return null
  // when the line isn't visible.
  function findViewIndex(cm, n) {
    if (n >= cm.display.viewTo) {
      return null
    }
    n -= cm.display.viewFrom
    if (n < 0) {
      return null
    }
    var view = cm.display.view
    for (var i = 0; i < view.length; i++) {
      n -= view[i].size
      if (n < 0) {
        return i
      }
    }
  }

  function updateSelection(cm) {
    cm.display.input.showSelection(cm.display.input.prepareSelection())