19 dpy = glXGetCurrentDisplay();
20 win = glXGetCurrentDrawable();
26 void gl_swap_interval(int val)
29 if(GLX_EXT_swap_control) {
30 glXSwapIntervalEXT(dpy, win, val);
31 } else if(GLX_SGI_swap_control) {
32 glXSwapIntervalSGI(val);
36 if(WGL_EXT_swap_control) {
37 wglSwapIntervalEXT(val);