A user interface builder for GTK+ and GNOME