push_menu_pane    279 src/menu.c       push_menu_pane (pane_name, prefix);
push_menu_pane    509 src/menu.c           push_menu_pane (encode_menu_string (pane_name), Qnil);
push_menu_pane    548 src/menu.c     	  push_menu_pane (Qnil, Qnil);