For a fast and shortcut-driven grading, the autograder popup is annoying.
Describe the solution you'd like
New advanced preference to disable the popup. The progress indicator at the bottom right and the following annotations are sufficient for estimation. I am aware of the hint to react to false-positive annotations after the hundredth grading.
Is your feature request related to a problem?
For a fast and shortcut-driven grading, the autograder popup is annoying.
Describe the solution you'd like
New advanced preference to disable the popup. The progress indicator at the bottom right and the following annotations are sufficient for estimation. I am aware of the hint to react to false-positive annotations after the hundredth grading.
Describe alternatives you've considered
No response
Additional context
No response