[gtk-list] Re: GtkRange slider size

[Patrice Fortier <Patrice Fortier aquarel fr>]

> 
> 
> I want to make a small slider to fit in the GNOME panel, so it
> is going to be about 48 pixels in length. The current thumb size
> (the thing you slider, not sure what the proper term is) is 11
> I believe from reading the sources. I coulnd't see any obvious
> way to make it smaller.

As far as I remember the min _width_ is 11, but the min height is 7.
The '7' includes the shadow width, so the "core" of the thumb is
7x3. I guess, we need at least 3 pixels to grab the thumb :).

> Anyone have a clever trick to do this?

Remove the arrows? :)


Patrice.