+
+void gl_swap_interval(int val)
+{
+#ifdef __unix__
+ if(GLX_EXT_swap_control) {
+ glXSwapIntervalEXT(dpy, win, val);
+ } else if(GLX_SGI_swap_control) {
+ glXSwapIntervalSGI(val);
+ }
+#endif
+#ifdef _WIN32
+ if(WGL_EXT_swap_control) {
+ wglSwapIntervalEXT(val);
+ }
+#endif
+}