Hi, I pushed a widget-padding-2 branch which has everything cleaned up. Both widget-padding and widget-padding-2 can be deleted once this is merged. (I can merge if you like or feel free. or let me know what else to change.)
While messing with branches, I noticed hp-patches and havoc-patches branches last changed in 2000. I think it's fair to assume I'm not using these anymore and delete them. :-P Havoc _______________________________________________ gtk-devel-list mailing list gtk-devel-list@gnome.org http://mail.gnome.org/mailman/listinfo/gtk-devel-list
