Looks good. Good find!
Jose
- Original Message -
This fixes a dangling texture object pointer bug hit via
wglShareLists().
When we push the GL_TEXTURE_BIT state we may push references to the
default
texture objects which are owned by the gl_shared_state object. We
don't
want to
This fixes a dangling texture object pointer bug hit via wglShareLists().
When we push the GL_TEXTURE_BIT state we may push references to the default
texture objects which are owned by the gl_shared_state object. We don't
want to accidentally delete that shared state while the attribute stack