menu_file         138 src/editor/edit-impl.h void edit_user_menu (WEdit * edit, const char *menu_file, int selected_entry);
menu_file        1803 src/editor/edit.c edit_user_menu (WEdit *edit, const char *menu_file, int selected_entry)
menu_file        1820 src/editor/edit.c     if (user_menu_cmd (CONST_WIDGET (edit), menu_file, selected_entry)
menu_file         991 src/usermenu.c user_menu_cmd (const Widget *edit_widget, const char *menu_file, int selected_entry)
menu_file        1009 src/usermenu.c     menu = g_strdup (menu_file != NULL ? menu_file : edit_widget != NULL ?
menu_file        1014 src/usermenu.c         if (menu_file != NULL)
menu_file          21 src/usermenu.h gboolean user_menu_cmd (const Widget * edit_widget, const char *menu_file, int selected_entry);