Exemple #1
0
 def set_vsync(self, vsync):
     if pyglet.options['vsync'] is not None:
         vsync = pyglet.options['vsync']
     if wgl_info.have_extension('WGL_EXT_swap_control'):
         wglext_arb.wglSwapIntervalEXT(int(vsync))
     else:
         warnings.warn('Could not set vsync; unsupported extension.')
Exemple #2
0
 def set_vsync(self, vsync):
     if wgl_info.have_extension('WGL_EXT_swap_control'):
         wglext_arb.wglSwapIntervalEXT(int(vsync))
Exemple #3
0
 def set_vsync(self, vsync):
     if wgl_info.have_extension('WGL_EXT_swap_control'):
         wglext_arb.wglSwapIntervalEXT(int(vsync))