Function focusInput

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:1078–1080

()

        }

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

        function scrollEditorIntoView() {
            if (!cursor.getBoundingClientRect) return;