A user interface builder for GTK+/GNOME