an OpenGL widget for GTK
