thinking about the digital gear train that exists between my mouse' scroll wheel and the exact, 3-line-per-detent page scroll.
The 3-line-per-detent scroll is variable, from 1-line to full page -- but even full page is variable, small window? large window? maximized? Resolution? That's a pretty complex gearbox.
