I think whoever fixes this should look at natural sizes for GTK+ widgets as an alternate solution (relevant discussion is at http://mail.gnome.org/archives/gtk-devel-list/2007-November/thread.html)
I think whoever fixes this should look at natural sizes for GTK+ widgets as an alternate solution (relevant discussion is at http:// mail.gnome. org/archives/ gtk-devel- list/2007- November/ thread. html)