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 2452 src/xmenu.c discard_menu_items ();