marijnh/CodeMirror2 — pull request #729 by peterkroon (2012-08-15 23:24:31+00:00)
Title: Update lib/codemirror.js

Opera doesn't support ``setDragImage`` for now.
Maybe some day...
Dragging is really ugly in Opera. It ghosts an image of the ``scroller``.