choice 1024 src/filemanager/cmd.c int choice; choice 1027 src/filemanager/cmd.c choice = choice 1032 src/filemanager/cmd.c if (choice < 0 || choice > 2) choice 1035 src/filemanager/cmd.c thorough_flag = choice;