Function patchDisplay

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1246–1285

(from, to, intact)

        }

        function patchDisplay(from, to, intact) {
            // The first pass removes the DOM nodes that aren't intact.
            if (!intact.length) lineDiv.innerHTML = "";
            else {
                function killNode(node) {
                    var tmp = node.nextSibling;
                    node.parentNode.removeChild(node);
                    return tmp;
                }
                var domPos = 0, curNode = lineDiv.firstChild, n;
                for (var i = 0; i < intact.length; ++i) {
                    var cur = intact[i];
                    while (cur.domStart > domPos) {curNode = killNode(curNode); domPos++;}
                    for (var j = 0, e = cur.to - cur.from; j < e; ++j) {curNode = curNode.nextSibling; domPos++;}
                }
                while (curNode) curNode = killNode(curNode);
            }
            // This pass fills in the lines that actually changed.
            var nextIntact = intact.shift(), curNode = lineDiv.firstChild, j = from;
            var scratch = document.createElement("div");
            doc.iter(from, to, function(line) {
                if (nextIntact && nextIntact.to == j) nextIntact = intact.shift();
                if (!nextIntact || nextIntact.from > j) {
                    if (line.hidden) var html = scratch.innerHTML = "<pre></pre>";
                    else {
                        var html = '<pre' + (line.className ? ' class="' + line.className + '"' : '') + '>'
                            + line.getHTML(makeTab) + '</pre>';
                        // Kludge to make sure the styled element lies behind the selection (by z-index)
                        if (line.bgClassName)
                            html = '<div style="position: relative"><pre class="' + line.bgClassName +
                                '" style="position: absolute; left: 0; right: 0; top: 0; bottom: 0; z-index: -2">&#160;</pre>' + html + "</div>";
                    }
                    scratch.innerHTML = html;
                    lineDiv.insertBefore(scratch.firstChild, curNode);
                } else {
                    curNode = curNode.nextSibling;
                }
                ++j;
            });
        }

        function updateGutter() {
            if (!options.gutter && !options.lineNumbers) return;