SGI OpenGL Xt widgets library