Function getLine

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

(n)

        };

        function getLine(n) { return getLineAt(doc, n); }
        function updateLineHeight(line, height) {
            gutterDirty = true;
            var diff = height - line.height;