On Thu, 12 Jun 2003, Robert OConnor wrote:
> Alexander R. Pruss wrote:
> > 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.
I've sent a patch to Mike to that effect.
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
