Function select

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:111–114

()

    }

    function select() {
        var length = mirror.getLine(line).slice(ch).length;
        mirror.setSelection({line: line, ch: 0}, {line: line, ch: length});
    }

    function backspace() {
        var selected = mirror.somethingSelected();