Waseem Daher e28373ec13 Properly handle refocusing pointer on both scroll and mousewheel events. ...

When you're at the top of the page, you don't get scroll events
anymore if you're scrolling with a mousewheel. So we need
to listen to mousewheel as well as scroll.

(Why not *just* mousewheel? Because then the scrolling done by
 PageUp and PageDown no longer causes the pointer to refocus,
 because those trigger scroll events.)

(imported from commit 4ee23004f6e090abaabb836f0a9d7b59d0394ced)

2012-10-04 15:47:21 -04:00

5.3 KiB

Raw Blame History

View Raw