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.
Sounds very reasonable.
Best wishes, Robert
_______________________________________________ plucker-dev mailing list [EMAIL PROTECTED] http://lists.rubberchicken.org/mailman/listinfo/plucker-dev
