void GLContext::set_swap_interval(unsigned i)
{
const GLubyte *name = reinterpret_cast<const GLubyte *>("glXSwapIntervalEXT");
- PFNGLXSWAPINTERVALEXTPROC func = reinterpret_cast<PFNGLXSWAPINTERVALEXTPROC>(glXGetProcAddress(name));
- if(!func)
+ PFNGLXSWAPINTERVALEXTPROC glXSwapInterval = reinterpret_cast<PFNGLXSWAPINTERVALEXTPROC>(glXGetProcAddress(name));
+ if(!glXSwapInterval)
throw runtime_error("glXSwapIntervalEXT not found");
- func(display.get_private().display, (priv->glxwnd ? priv->glxwnd : priv->subwnd), i);
+ glXSwapInterval(display.get_private().display, (priv->glxwnd ? priv->glxwnd : priv->subwnd), i);
}
void GLContext::swap_buffers()