menu_file 144 src/editor/edit-impl.h void user_menu (WEdit * edit, const char *menu_file, int selected_entry); menu_file 1770 src/editor/edit.c user_menu (WEdit * edit, const char *menu_file, int selected_entry) menu_file 1787 src/editor/edit.c if (user_menu_cmd (edit, menu_file, selected_entry) menu_file 950 src/usermenu.c user_menu_cmd (const WEdit * edit_widget, const char *menu_file, int selected_entry) menu_file 967 src/usermenu.c if (menu_file != NULL) menu_file 968 src/usermenu.c menu = g_strdup (menu_file); menu_file 973 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);