42fee73aad
glDeleteTexture makes the texture ID immediately free for re-use while the actual texture object lingers until its reference count goes to zero (when no longer bound by any rendering context).