deleteTexture method
The WebGLRenderingContext.deleteTexture()
method of the
WebGL API
deletes a given
WebGLTexture object. This method has no effect if the texture has
already
been deleted.
Implementation
external void deleteTexture(WebGLTexture? texture);