Open
Description
Description
One of the options in the "Lint groups" menu is "None", which deselects everything. But if you have only one group selected and click it, it resets to default.
- This is inconsistent UI; either
- nothing-selected should be permitted however you reach it, or
- the "None" option should not exist.
- This is inconvenient and unpleasantly surprising when my goal is to view one group at a time, and the obvious thing to do is to uncheck the selected group and then check the next one in the list.
Additional Labels
@rustbot label +A-website +C-bug