XMenuDestroy      287 oldXMenu/XMenu.h void XMenuDestroy(Display *display, XMenu *menu);
XMenuDestroy     3275 src/msdos.c    	  XMenuDestroy (foo, menu->submenu[i]);
XMenuDestroy      153 src/msdos.h    void XMenuDestroy (Display *, XMenu *);
XMenuDestroy     2519 src/xmenu.c      XMenuDestroy (FRAME_X_DISPLAY (f), menu);
XMenuDestroy     2633 src/xmenu.c    	      XMenuDestroy (FRAME_X_DISPLAY (f), menu);
XMenuDestroy     2695 src/xmenu.c    	      XMenuDestroy (FRAME_X_DISPLAY (f), menu);