Function setValue

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:541–546

(code)

        }

        function setValue(code) {
            var top = {line: 0, ch: 0};
            updateLines(top, {line: doc.size - 1, ch: getLine(doc.size-1).text.length},
                splitLines(code), top, top);
            updateInput = true;
        }
        function getValue() {
            var text = [];
            doc.iter(0, doc.size, function(line) { text.push(line.text); });