Try to catch scroll wheel events on an element that's not the main scroller

By growing the vertical scrollbar to cover the whole editor when a wheel scroll
is taking place.

(This to avoid manually handling wheel events, for which there doesn't appear
to be any way that feels native across browsers.)

Closes #810