if (DBG) fprintf(stderr, "***************** nsXtWidget_LeaveMask_EventHandler\n");
PRINTF("***************** nsXtWidget_LeaveMask_EventHandler\n");
void nsXtWidget_LeaveMask_EventHandler(Widget w, XtPointer p, XEvent * event, Boolean * b){  if (DBG) fprintf(stderr, "***************** nsXtWidget_LeaveMask_EventHandler\n");  nsWindow * widgetWindow = (nsWindow *) p ;  nsMouseEvent mevent;  nsXtWidget_InitNSMouseEvent(event, p, mevent, NS_MOUSE_EXIT);  widgetWindow->DispatchMouseEvent(mevent);}