Function paddingLeft

mini-code-editor/cm/lib/codemirror.js:1669–1669

()

    }
    function paddingTop() {return lineSpace.offsetTop;}
    function paddingLeft() {return lineSpace.offsetLeft;}

    function posFromMouse(e, liberal) {
      var offW = eltOffset(scroller, true), x, y;