marijnh/CodeMirror2 — pull request #470 by Fauntleroy (2012-03-30 00:22:53+00:00)
Title: Added drag-and-drop option

In the course of building our application, the default drag-and-drop behavior in the editor became a problem, so I added a configuration option to disable it. Drag and drop remains enabled by default.