Steve Howell d3579c57ec Avoid scrolling the main page by accident with mousewheel. ...

If you used the mousewheel in certain page sub-elements, scrolling
to the bottom would sometimes turn into scrolling the main page.
We had code to make that not happen, but it was sensitive to
integer rounding, so I added a one pixel fudge factor.

(imported from commit 5ed1f4e717e5f9ce3316383812dee27913afdd49)

2013-11-14 14:29:31 -05:00

63 KiB

Raw Blame History

View Raw