Slider values

[Brian Yennie]

Dave,

> Or could it be that the thumbSize value is taken into account as it 
> would be when working with scrollbars? (Or would it? My brain always 
> hurts when doing this kind of arithmetic.) I notice that the thumbSize 
> is always set to the pageInc value with sliders. I wondered what would 
> happen if the thumbSize was set to 0 and the pageInc to 10, but I 
> couldn't set them independently. Perhaps this is the problem.

This could be related, but I don't think it will help the ticks. The 
actual number of ticks marks is wrong, and I don't think that can be 
affected by changing the thumbSize.

I could be wrong, but that would just add more credence to needing to 
have this work by default =)!

- Brian