push_menu_pane    279 src/menu.c       push_menu_pane (pane_name, prefix);
push_menu_pane    508 src/menu.c           push_menu_pane (encode_menu_string (pane_name), Qnil);
push_menu_pane    547 src/menu.c     	  push_menu_pane (Qnil, Qnil);