Function lineNo

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:2942–2952

(line)

        return chunk.lines[n];
    }
    function lineNo(line) {
        if (line.parent == null) return null;
        var cur = line.parent, no = indexOf(cur.lines, line);
        for (var chunk = cur.parent; chunk; cur = chunk, chunk = chunk.parent) {
            for (var i = 0, e = chunk.children.length; ; ++i) {
                if (chunk.children[i] == cur) break;
                no += chunk.children[i].chunkSize();
            }
        }
        return no;
    }
    function lineAtHeight(chunk, h) {
        var n = 0;
        outer: do {