/*                                                                   */
/*             close_xwindow()                                       */
/*             Christopher Provenzano                                */
/*             Created 7/12/89                                       */
/*             Edited 7/29/89                                        */
/*                                                                   */
#include "pxwidgets.h"


close_xwindow(xwindow * deadwindow)
{
  XUnmapWindow(deadwindow->display,deadwindow->window);
  XFlush(deadwindow->display);
}