encode_menu_string  478 src/menu.c     	push_menu_item (encode_menu_string (item), Qnil, Qnil, Qt,
encode_menu_string  484 src/menu.c     	  push_menu_item (encode_menu_string (item1), Qt, XCDR (item),
encode_menu_string  509 src/menu.c           push_menu_pane (encode_menu_string (pane_name), Qnil);