That sounds just like the algorithm used in /sys/src/libframe/frselect.c,
used by acme and rio.  There's nothing proportional to it; it's just N lines
every delta T, where N is the number of lines between the mouse and the
edge of the frame.

-rob