Fixes slow scrolling when scroll sync is enabled
Fixes slow scrolling when scroll sync is enabled

Some browsers have an animated scroll effect, where it smears
a single scroll event over mutiple smaller scroll events.

Whenever this effect lasted for more than 10 milliseconds
each div's (split editor/preview) scroll even would cancel
the other, which caused scrolling to be really slow.

joemccann/dillinger,jiusanzhou/dillinger,joemccann/dillinger,jiusanzhou/dillinger,benjamin-albert/dillinger,benjamin-albert/dillinger,jiusanzhou/dillinger,joemccann/dillinger