GLX_VERSION_1_2 Display* glXGetCurrentDisplay (void)