edit_user_menu    144 src/editor/edit-impl.h void edit_user_menu (WEdit * edit, const char *menu_file, int selected_entry);
edit_user_menu   4029 src/editor/edit.c         edit_user_menu (edit, NULL, -1);
edit_user_menu   1890 src/editor/editcmd.c     edit_user_menu (edit, macros_fname, 0);