/* tell the window manager about us. */
x_wm_store_class_hints (shell_widget, XtName (frame_widget));
/* tell the window manager about us. */
x_wm_store_class_hints (shell_widget, XtName (frame_widget));
XtDestroyWidget (FRAME_X_SHELL_WIDGET (f));
/* make sure the windows are really gone! */
/* ### Is this REALLY necessary? */
XtDestroyWidget (FRAME_X_SHELL_WIDGET (f));
/* make sure the windows are really gone! */
/* ### Is this REALLY necessary? */