save_menu_items   649 src/haikumenu.c       save_menu_items ();
save_menu_items    35 src/menu.h     extern void save_menu_items (void);
save_menu_items   304 src/pgtkmenu.c       save_menu_items ();
save_menu_items   329 src/w32menu.c        save_menu_items ();
save_menu_items  1012 src/xmenu.c          save_menu_items ();