An OpenGL widget for the GTK+2 GUI toolkit