XtDestroyWidget • man page