+
+void gl_swap_interval(int val)
+{
+#ifdef __unix__
+ if(GLXEW_EXT_swap_control) {
+ glXSwapIntervalEXT(dpy, win, val);
+ } else if(GLXEW_SGI_swap_control) {
+ glXSwapIntervalSGI(val);
+ }
+#endif
+#ifdef _WIN32
+ if(WGLEW_EXT_swap_control) {
+ wglSwapIntervalEXT(val);
+ }
+#endif
+}