choice           1023 src/filemanager/cmd.c     int choice;
choice           1026 src/filemanager/cmd.c     choice =
choice           1031 src/filemanager/cmd.c     if (choice < 0 || choice > 2)
choice           1034 src/filemanager/cmd.c     thorough_flag = choice;