Currently, Legup shows different prompts for choosing files for the batch grader versus opening proofs.
Current Behavior
File selection for proofs

To see this screen, do File > Open.
File selection for batch grader

To see this screen, click on the Check All button.
Expected Behavior
File selection should use the same prompt as the batch grader.
Currently, Legup shows different prompts for choosing files for the batch grader versus opening proofs.
Current Behavior
File selection for proofs
To see this screen, do
File > Open.File selection for batch grader
To see this screen, click on the
Check Allbutton.Expected Behavior
File selection should use the same prompt as the batch grader.