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