choice           1002 src/filemanager/cmd.c     int choice;
choice           1005 src/filemanager/cmd.c     choice =
choice           1010 src/filemanager/cmd.c     if (choice < 0 || choice > 2)
choice           1013 src/filemanager/cmd.c     thorough_flag = choice;