marijnh/CodeMirror2 — pull request #566 by peterkroon (2012-06-06 10:46:22+00:00)
Title: Fix DND in Opera Next 12.00

Fix DND in Opera Next 12.00