XMenuDestroy      287 oldXMenu/XMenu.h void XMenuDestroy(Display *display, XMenu *menu);
XMenuDestroy     3282 src/msdos.c    	  XMenuDestroy (foo, menu->submenu[i]);
XMenuDestroy      153 src/msdos.h    void XMenuDestroy (Display *, XMenu *);
XMenuDestroy     2534 src/xmenu.c      XMenuDestroy (FRAME_X_DISPLAY (f), menu);
XMenuDestroy     2648 src/xmenu.c    	      XMenuDestroy (FRAME_X_DISPLAY (f), menu);
XMenuDestroy     2710 src/xmenu.c    	      XMenuDestroy (FRAME_X_DISPLAY (f), menu);