You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I think at some point in the past we had menu items only show up when they were "relevant" something like you describe. I recall that that was confusing.
Highlighting menu items in need of attention seems fine to me, but I think we already do so.
We probably could reduce clutter by only adding menu items if they're relevant to the user currently.
Rejudgings only need attention if there's actually one going on.
Judgehosts only need attention if there's an internal error.
And there may be other warnings that we should show, e.g. when a language or problem is disabled....
The text was updated successfully, but these errors were encountered: