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

Allow configuration of diagnostic severity to show in scrollbar #22296

Open
1 task done
AaronFeickert opened this issue Dec 20, 2024 · 0 comments · May be fixed by #22364
Open
1 task done

Allow configuration of diagnostic severity to show in scrollbar #22296

AaronFeickert opened this issue Dec 20, 2024 · 0 comments · May be fixed by #22364
Labels
admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue

Comments

@AaronFeickert
Copy link
Contributor

AaronFeickert commented Dec 20, 2024

Check for existing issues

  • Completed

Describe the feature

There is currently a boolean setting for whether or not to indicate diagnostics in the scrollbar. This is useful, but can get very visually noisy in a project that has many diagnostics with low severity (say, INFORMATION or HINT). It would be useful to allow the user to configure the minimum severity level that is indicated in the scrollbar.

Zed Version and System Specs

Zed: v0.166.1 (Zed)
OS: macOS 15.2.0
Memory: 16 GiB
Architecture: aarch64

If applicable, add mockups / screenshots to help present your vision of the feature

The setting might be called diagnostic_level, with the following options that are only applicable if the user has enabled scrollbar diagnostics:

  • all: indicates all diagnostics
  • info: indicates all diagnostics at least as severe as INFORMATION
  • warning: indicates all diagnostics at least as severe as WARNING
  • error: indicates all diagnostics with severity ERROR
@AaronFeickert AaronFeickert added admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue labels Dec 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant