Signal mousewheel event.

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