public void Dispose() { if (disposed) return; GL.DeleteTexture(this.textureId); Window.Current.Log(string.Format("texture {0} deleted", this.textureId)); disposed = true; }