Skip to content

Allow disabling/hiding/suppressing specific LSP diagnostic message #140

Open
Open
Allow disabling/hiding/suppressing specific LSP diagnostic message#140
Labels
LSPIssues / features related to the LSP serverenhancementNew feature or request

Description

@michprev
michprev
opened on Aug 3, 2022

Can be done as a special comment (solhint does this https://github.com/protofire/solhint#configure-the-linter-with-comments) or as a global config option.

Activity

  1. michprev
    added
    enhancementNew feature or request
    LSPIssues / features related to the LSP server
    on Aug 3, 2022
  2. michprev
    added this to Wokeon Aug 3, 2022
  3. michprev
    moved this to Todo in Wokeon Aug 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    LSPIssues / features related to the LSP serverenhancementNew feature or request

    Type

    No type

    Projects

    • Woke
      Status
      Todo

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions