Re: [gtk-list] Re: how to alter scrollbar thickness (width)?

["Rob Hodges" <s323140 student uq edu au>]

> GTK 1.4 _may_ solve this, since it will likely allow you to set widget
> properties (object arguments) from the rc file. To be sure it gets
> done you might want to file a wishlist bug on bugs.gnome.org.

Thanks for the advice, Havoc; it's much appreciated even if it's not
good news for now.  Apparently bugs.gnome.org has had a disk crash;
maybe everyone on the list read this thread and thrashed it to
death in a frenzy of resolution-independence yearning...  :)

-Rob