Function resetInput

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1070–1076

(user)

            return true;
        }
        function resetInput(user) {
            if (!posEq(sel.from, sel.to)) {
                prevInput = "";
                input.value = getSelection();
                selectInput(input);
            } else if (user) prevInput = input.value = "";
        }

        function focusInput() {
            if (options.readOnly != "nocursor") input.focus();