Function save

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:2328–2328

()

            options.autofocus = true;

        function save() {textarea.value = instance.getValue();}
        if (textarea.form) {
            // Deplorable hack to make the submit method do the right thing.
            var rmSubmit = connect(textarea.form, "submit", save, true);