GTK toolkit: scroll bar width not customizable

[Robert J. Chassell]

Today's CVS snapshot, Fri, 2003 Sep 12  15:20 UTC
GNU Emacs 21.3.50.66 (i686-pc-linux-gnu, GTK+ Version 2.2.1)
configured using `configure '--with-type1' '--with-x-toolkit=gtk'
'--prefix=/usr/local' '--with-sound=yes''

[The default value of `Scroll Bar Width' in nil, which means to use
the scroll bar width from the window's frame.]

When I set the value of `Scroll Bar Width' to 50, the width of scroll
bar window (or whatever you call the space where the scroll bar is
located) increases to 50, but the scroll bar itself does not increase
in width.  It remains narrow, surrounded on either side by empty space.

-- 
    Robert J. Chassell                         Rattlesnake Enterprises
    http://www.rattlesnake.com                  GnuPG Key ID: 004B4AC8
    http://www.teak.cc                             address@hidden