An OpenGL extension to GTK