Function lineNumberFor

tools/pythonauto/static/codemirror/codemirror.js:415–417

(options, i)

  }

  function lineNumberFor(options, i) {
    return String(options.lineNumberFormatter(i + options.firstLineNumber));
  }
  function compensateForHScroll(display) {
    return getRect(display.scroller).left - getRect(display.sizer).left;
  }