Function paddingLeft

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1869–1869

()

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

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