Function updateLines

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:841–850

(from, to, newText, selFrom, selTo)

        // Replace the range from from to to by the strings in newText.
        // Afterwards, set the selection to selFrom, selTo.
        function updateLines(from, to, newText, selFrom, selTo) {
            if (suppressEdits) return;
            if (history) {
                var old = [];
                doc.iter(from.line, to.line + 1, function(line) { old.push(line.text); });
                history.addChange(from.line, newText.length, old);
                while (history.done.length > options.undoDepth) history.done.shift();
            }
            updateLinesNoUndo(from, to, newText, selFrom, selTo);
        }
        function unredoHelper(from, to) {
            if (!from.length) return;
            var set = from.pop(), out = [];