I've noticed that the autoscroll speed doesn't have enough
resolution. Currently, the minimum adjustment interval is 50ms. I'd be
tempted to change that to 10ms or 20ms, except then one would have the use
the adjustment control more to do the job. And the problem with 20ms is
backwards compatibility, since some old values would no longer be valid.
Another option is this. For autoscroll speeds between 0 and 100ms, we
adjust by 10ms, and above that we go by 50ms.
Alex
--
Dr. Alexander R. Pruss || e-mail: [EMAIL PROTECTED]
Philosophy Department || online papers and home page:
Georgetown University || www.georgetown.edu/faculty/ap85
Washington, DC 20057 ||
U.S.A. ||
-----------------------------------------------------------------------------
"Philosophiam discimus non ut tantum sciamus, sed ut boni efficiamur."
- Paul of Worczyn (1424)
_______________________________________________
plucker-dev mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
