user_menu_cmd 1787 src/editor/edit.c if (user_menu_cmd (edit, menu_file, selected_entry) user_menu_cmd 1152 src/filemanager/cmd.c (void) user_menu_cmd (NULL, NULL, -1); user_menu_cmd 22 src/usermenu.h gboolean user_menu_cmd (const WEdit * edit_widget, const char *menu_file, int selected_entry);