a user interface builder for GTK+.