marijnh/CodeMirror — pull request #1166 by peterkroon (2013-01-18 11:34:33+00:00)
Title: Add Opera setDragImage.

With this hack setDragImage will work with Opera.