def destroy(self): GLContext.destroy(self) GGLView.destroy(self)
def destroy(self): GLContext.destroy(self)