Re: resize windows horizontally with the mouse

[martin rudalics]

> In some themes the scroll bar handle is a bitmap of fixed width. Those do  
not obey GtkRange-slider-width if too small.  I guess you don't have that kind of 
theme.

I suppose not.  Is there any harm when they don't?

>> And the default should be 14 IIUC.
>>
>
> Why?

Because that's what I found everywhere but I'm obviously a complete
idiot in this department.  I looked, for example, here:

http://www.gtk.org/api/2.6/gtk/GtkRange.html

https://developer.gnome.org/gtk3/stable/GtkRange.html#GtkRange--s-slider-width

http://gtk.php.net/manual/en/html/gtk/gtk.gtkrange.property.slider-width.html

martin