New option: "disableScrollWheel".
New option: "disableScrollWheel".

New option to disable the scroll wheel in the editor so one can scroll
the holding page without being stuck in the editor.

dperetti/CodeMirror,dperetti/CodeMirror,dperetti/CodeMirror