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