void Dispose(bool disposing) { if (disposed) { return; } disposed = true; OpenGL.glDeleteTextures(1, ref texture); }