Steve Howell 770bc5c96a Fix pointer motion at top/bottom of viewport. ...

We always intended to move the pointer up when you were at the
top of the viewport and scrolling up, and we always intended to
move the pointer down when you were at the bottom of the viewport
and scrolling down.  We didn't intend to move the pointer up
when you were at the bottom, or vice versa.  This commit fixes
that bug, simplifies the code, and inlines the code into ui.js.

(imported from commit 77e2ace9d2fc1025e1349e3be13c76c3a397fd38)

2013-08-02 18:18:04 -04:00

51 KiB

Raw Blame History

View Raw