user_menu_cmd    1821 src/editor/edit.c     if (user_menu_cmd (CONST_WIDGET (edit), menu_file, selected_entry)
user_menu_cmd    1174 src/filemanager/cmd.c     (void) user_menu_cmd (NULL, NULL, -1);
user_menu_cmd      21 src/usermenu.h gboolean user_menu_cmd (const Widget * edit_widget, const char *menu_file, int selected_entry);