marijnh/CodeMirror — pull request #2074 by peterkroon (2013-12-21 12:17:37+00:00)
Title: Signal mouseweheel event.

Related topic: https://groups.google.com/forum/#!topic/codemirror/CrP8avcqQQs