Function onDrop

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:660–698

(e)

            selectWordAt(start);
        }
        function onDrop(e) {
            if (options.onDragEvent && options.onDragEvent(instance, addStop(e))) return;
            e.preventDefault();
            var pos = posFromMouse(e, true), files = e.dataTransfer.files;
            if (!pos || options.readOnly) return;
            if (files && files.length && window.FileReader && window.File) {
                function loadFile(file, i) {
                    var reader = new FileReader;
                    reader.onload = function() {
                        text[i] = reader.result;
                        if (++read == n) {
                            pos = clipPos(pos);
                            operation(function() {
                                var end = replaceRange(text.join(""), pos, pos);
                                setSelectionUser(pos, end);
                            })();
                        }
                    };
                    reader.readAsText(file);
                }
                var n = files.length, text = Array(n), read = 0;
                for (var i = 0; i < n; ++i) loadFile(files[i], i);
            }
            else {
                try {
                    var text = e.dataTransfer.getData("Text");
                    if (text) {
                        compoundChange(function() {
                            var curFrom = sel.from, curTo = sel.to;
                            setSelectionUser(pos, pos);
                            if (draggingText) replaceRange("", curFrom, curTo);
                            replaceSelection(text);
                            focusInput();
                        });
                    }
                }
                catch(e){}
            }
        }
        function onDragStart(e) {
            var txt = getSelection();
            e.dataTransfer.setData("Text", txt);