Function heightAtLine

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:2971–2984

(chunk, n)

        return n + i;
    }
    function heightAtLine(chunk, n) {
        var h = 0;
        outer: do {
            for (var i = 0, e = chunk.children.length; i < e; ++i) {
                var child = chunk.children[i], sz = child.chunkSize();
                if (n < sz) { chunk = child; continue outer; }
                n -= sz;
                h += child.height;
            }
            return h;
        } while (!chunk.lines);
        for (var i = 0; i < n; ++i) h += chunk.lines[i].height;
        return h;
    }

    // The history object 'chunks' changes that are made close together
    // and at almost the same time into bigger undoable units.