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

Can i suppress diagnosing message? #249

Closed
Jaehaks opened this issue Jul 6, 2024 · 2 comments · Fixed by #250
Closed

Can i suppress diagnosing message? #249

Jaehaks opened this issue Jul 6, 2024 · 2 comments · Fixed by #250
Labels
enhancement New feature or request

Comments

@Jaehaks
Copy link

Jaehaks commented Jul 6, 2024

Thank you for your efforts,

I want to see only lsp loading messages, but recently fidget shows additional messages about diagnosing.
I cannot find the options which can do this. Is there any way to suppress them?

image

j-hui added a commit that referenced this issue Jul 7, 2024
Previously, messages could only be ignored according to the name of the
LSP server they come from. (Prior to the legacy rewrite, this feature
was part of the user-specified render function. Kind of ugly how that
worked.)

This feature allows messages to be ignored according to logic in
arbitrary user-specified functions.

The slightly yucky thing about this design is that the "shape" of the
message object is not really well-specified or documented. For example,
it is not obvious why we need to check `msg.title` rather than anything
else. The example should be good enough though, at least for now.

Addresses #249
@j-hui
Copy link
Owner

j-hui commented Jul 7, 2024

The "Diagnosing" message is specific to an LSP server (in this case, lua_ls).

I just pushed a feature that supports filtering on a per-message basis. You should be able remove those messages with something like:

progress.ignore = { -- NOTE: this is short-hand, not the actual syntax for specifying a nested table
  function(msg)
    return msg.lsp_client.name == "lua_ls" and string.find(msg.title, "Diagnosing")
  end,
}

@j-hui j-hui closed this as completed Jul 7, 2024
@j-hui j-hui added the enhancement New feature or request label Jul 7, 2024
@Jaehaks
Copy link
Author

Jaehaks commented Jul 7, 2024

@j-hui
It is solved, Thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants