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