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;