Integrated development environments that use GTK+