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

feat(psalm): allows to avoid infos to be displayed #2032

Merged
merged 1 commit into from
Jan 6, 2023

Conversation

gbprod
Copy link
Contributor

@gbprod gbprod commented Jan 5, 2023

When I use psalm extension, it displays info diagnostics (that are issues from higher analysis levels). It could be annoying (that the case for me).

I propose to add an option to allows to disable it.

@mamazu
Copy link
Contributor

mamazu commented Jan 5, 2023

Have you tried setting the language_server_psalm.enabled to false?

@dantleech
Copy link
Collaborator

I think this is rather about showing error but not info diagnostics :)

When I use psalm extension, it displays info diagnostics (that are issues from
higher analysis levels). It could be annoying (that the case for me).

I propose to add an option to allows to disable it.
@dantleech dantleech merged commit 9dd91fa into phpactor:master Jan 6, 2023
@gbprod gbprod deleted the feat-psalm-show-infos branch January 6, 2023 08:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants