Make sure the editor is re-focused after a no-op drag

Closes #1168

Author: marijnh

lib/codemirror.js

@@ -1560,7 +1560,8 @@ window.CodeMirror = (function() {
       // Don't do a replace if the drop happened inside of the selected text.
       if (cm.view.draggingText && !(posLess(pos, cm.view.sel.from) || posLess(cm.view.sel.to, pos))) {
         cm.view.draggingText(e);
-        if (ie) setTimeout(bind(focusInput, cm), 50);
+        // Ensure the editor is re-focused
+        setTimeout(bind(focusInput, cm), 20);
         return;
       }
       try {