On Thu, Oct 23, 2003, Alan J Robertson wrote:
> Out of interest, what was the dynamic scrollbar meant to do?

In the past the document would be redrawn whenever we detected a
scrollbar movement. However, since that process was kind of slow
it was changed so that instead the document is redrawn first when
the user release the "scrollbar". To be able to still use the old
behaviour a preference option (Enable dynamic scrollbar) was added.

I don't think this option makes much sense to keep, so it was decided
this summer to remove the option...

/Mike

_______________________________________________
plucker-list mailing list
[EMAIL PROTECTED]
http://lists.rubberchicken.org/mailman/listinfo/plucker-list

Reply via email to