An OpenGL widget for the GTK+ GUI toolkit