Function advanceMarks

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:2742–2755

()

                var pos = 0, i = 0, text = "", style, sg = 0;
                var nextChange = marked[0].from || 0, marks = [], markpos = 0;
                function advanceMarks() {
                    var m;
                    while (markpos < marked.length &&
                        ((m = marked[markpos]).from == pos || m.from == null)) {
                        if (m.style != null) marks.push(m);
                        ++markpos;
                    }
                    nextChange = markpos < marked.length ? marked[markpos].from : Infinity;
                    for (var i = 0; i < marks.length; ++i) {
                        var to = marks[i].to || Infinity;
                        if (to == pos) marks.splice(i--, 1);
                        else nextChange = Math.min(to, nextChange);
                    }
                }
                var m = 0;
                while (pos < len) {
                    if (nextChange == pos) advanceMarks();