user_file_menu_cmd 77 src/filemanager/cmd.h void user_file_menu_cmd (void); user_file_menu_cmd 1405 src/filemanager/filemanager.c user_file_menu_cmd ();