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