ctx_attribs.push_back(GLX_CONTEXT_FORWARD_COMPATIBLE_BIT_ARB);
}
+ if(opts.core_profile)
+ {
+ ctx_attribs.push_back(GLX_CONTEXT_PROFILE_MASK_ARB);
+ ctx_attribs.push_back(GLX_CONTEXT_CORE_PROFILE_BIT_ARB);
+ }
+
if(opts.gl_version_major)
{
ctx_attribs.push_back(GLX_CONTEXT_MAJOR_VERSION_ARB);
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()