"""Information about version and extensions of current GLX implementation. Usage:: from pyglet.gl import glx_info if glx_info.have_extension('GLX_NV_float_buffer'): # ... Or, if using more than one display:: from pyglet.gl.glx_info import GLXInfo info = GLXInfo(window._display) if info.get_server_vendor() == 'ATI': # ... """ from ctypes import * from pyglet.gl.glx import * from pyglet.util import asstr class GLXInfoException(Exception): pass class GLXInfo: def __init__(self, display=None): # Set default display if not set if display and not _glx_info.display: _glx_info.set_display(display) self.display = display def set_display(self, display): self.display = display def check_display(self): if not self.display: raise GLXInfoException('No X11 display has been set yet.') def have_version(self, major, minor=0): self.check_display() if not glXQueryExtension(self.display, None, None): raise GLXInfoException('pyglet requires an X server with GLX') server_version = self.get_server_version().split()[0] client_version = self.get_client_version().split()[0] server = [int(i) for i in server_version.split('.')] client = [int(i) for i in client_version.split('.')] return (tuple(server) >= (major, minor) and tuple(client) >= (major, minor)) def get_server_vendor(self): self.check_display() return asstr(glXQueryServerString(self.display, 0, GLX_VENDOR)) def get_server_version(self): # glXQueryServerString was introduced in GLX 1.1, so we need to use the # 1.0 function here which queries the server implementation for its # version. self.check_display() major = c_int() minor = c_int() if not glXQueryVersion(self.display, byref(major), byref(minor)): raise GLXInfoException('Could not determine GLX server version') return f'{major.value}.{minor.value}' def get_server_extensions(self): self.check_display() return asstr(glXQueryServerString(self.display, 0, GLX_EXTENSIONS)).split() def get_client_vendor(self): self.check_display() return asstr(glXGetClientString(self.display, GLX_VENDOR)) def get_client_version(self): self.check_display() return asstr(glXGetClientString(self.display, GLX_VERSION)) def get_client_extensions(self): self.check_display() return asstr(glXGetClientString(self.display, GLX_EXTENSIONS)).split() def get_extensions(self): self.check_display() return asstr(glXQueryExtensionsString(self.display, 0)).split() def have_extension(self, extension): self.check_display() if not self.have_version(1, 1): return False return extension in self.get_extensions() # Single instance suitable for apps that use only a single display. _glx_info = GLXInfo() set_display = _glx_info.set_display check_display = _glx_info.check_display have_version = _glx_info.have_version get_server_vendor = _glx_info.get_server_vendor get_server_version = _glx_info.get_server_version get_server_extensions = _glx_info.get_server_extensions get_client_vendor = _glx_info.get_client_vendor get_client_version = _glx_info.get_client_version get_client_extensions = _glx_info.get_client_extensions get_extensions = _glx_info.get_extensions have_extension = _glx_info.have_extension