OpenGL widget for the GTK+2 GUI toolkit
