> 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
--
To unsubscribe: mail -s unsubscribe [EMAIL PROTECTED] < /dev/null
