private void doDestroy() { lock (Graphics.RenderLockBlob) { if (TexPointer != 0) { Gl.glDeleteTextures(1, ref TexPointer); TexPointer = 0; } } lock (textures) textures.Remove(this.Filename); }