An OpenGL widget toolkit