Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve urgent/warning status in menu #2486

Open
meisterT opened this issue Apr 18, 2024 · 1 comment
Open

Improve urgent/warning status in menu #2486

meisterT opened this issue Apr 18, 2024 · 1 comment

Comments

@meisterT
Copy link
Member

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....

@eldering
Copy link
Member

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants