On Jul 1, 2013, at 10:26 AM, Elaine Meng <meng@cgl.ucsf.edu> wrote:

The mouse scrolling when it is set to false in Preferences sounds distinctly buglike… I've reproduced this and will be submitting a bug report.

That preference does work for me, but I'm using a Magic Mouse rather than a mouse with a true scroll wheel…

--Eric

                        Eric Pettersen

                        UCSF Computer Graphics Lab

                        http://www.cgl.ucsf.edu