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