Function drag_

tools/pythonauto/static/codemirrorepl/codemirrorepl.js:322–325

(e)

        if (options.dragDrop) {
            connect(lineSpace, "dragstart", onDragStart);
            function drag_(e) {
                if (options.onDragEvent && options.onDragEvent(instance, addStop(e))) return;
                e_stop(e);
            }
            connect(scroller, "dragenter", drag_);
            connect(scroller, "dragover", drag_);
            connect(scroller, "drop", operation(onDrop));