menu_file         145 src/editor/edit-impl.h void user_menu (WEdit * edit, const char *menu_file, int selected_entry);
menu_file        1763 src/editor/edit.c user_menu (WEdit * edit, const char *menu_file, int selected_entry)
menu_file        1780 src/editor/edit.c     if (user_menu_cmd (edit, menu_file, selected_entry)
menu_file         930 src/usermenu.c user_menu_cmd (const WEdit * edit_widget, const char *menu_file, int selected_entry)
menu_file         947 src/usermenu.c     if (menu_file != NULL)
menu_file         948 src/usermenu.c         menu = g_strdup (menu_file);
menu_file         953 src/usermenu.c         if (menu_file != NULL)
menu_file          22 src/usermenu.h gboolean user_menu_cmd (const WEdit * edit_widget, const char *menu_file, int selected_entry);