@override void deleteTexture(Texture texture) { if (texture is _WGLTexture) { _context.deleteTexture(texture._textureHandle); } }