discard_menu_items  805 src/androidmenu.c   discard_menu_items ();
discard_menu_items  332 src/haikumenu.c   discard_menu_items ();
discard_menu_items  700 src/haikumenu.c 	  discard_menu_items ();
discard_menu_items 1386 src/menu.c           discard_menu_items ();
discard_menu_items 1392 src/menu.c       record_unwind_protect_void (discard_menu_items);
discard_menu_items   34 src/menu.h     extern void discard_menu_items (void);
discard_menu_items  375 src/pgtkmenu.c 	  discard_menu_items ();
discard_menu_items 1080 src/pgtkmenu.c   discard_menu_items ();
discard_menu_items  134 src/w32menu.c        discard_menu_items ();
discard_menu_items  396 src/w32menu.c  	  discard_menu_items ();
discard_menu_items 1083 src/xmenu.c    	  discard_menu_items ();
discard_menu_items 2467 src/xmenu.c      discard_menu_items ();