Function lineNumberFor

tools/pythonauto/static/codemirrorepl/codemirror.js:515–517

(options, i)

  }

  function lineNumberFor(options, i) {
    return String(options.lineNumberFormatter(i + options.firstLineNumber));
  }

  // Computes display.scroller.scrollLeft + display.gutters.offsetWidth,
  // but using getBoundingClientRect to get a sub-pixel-accurate