Merge pull request #18432 from Veykril/lw-yptzmuxyvxxt

fix: Fix the server not honoring diagnostic refresh support
This commit is contained in:
Lukas Wirth 2024-10-29 10:32:11 +00:00 committed by GitHub
commit c21de28911
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 7 additions and 4 deletions

View File

@ -463,6 +463,11 @@ pub fn inlay_hints_refresh(&self) -> bool {
.unwrap_or_default()
}
pub fn diagnostics_refresh(&self) -> bool {
(|| -> _ { self.0.workspace.as_ref()?.diagnostic.as_ref()?.refresh_support })()
.unwrap_or_default()
}
pub fn inlay_hint_resolve_support_properties(&self) -> FxHashSet<&str> {
self.0
.text_document

View File

@ -417,8 +417,6 @@ fn handle_event(&mut self, event: Event) {
}
}
let supports_diagnostic_pull_model = self.config.text_document_diagnostic();
let client_refresh = became_quiescent || state_changed;
if client_refresh {
// Refresh semantic tokens if the client supports it.
@ -437,7 +435,7 @@ fn handle_event(&mut self, event: Event) {
self.send_request::<lsp_types::request::InlayHintRefreshRequest>((), |_, _| ());
}
if supports_diagnostic_pull_model {
if self.config.diagnostics_refresh() {
self.send_request::<lsp_types::request::WorkspaceDiagnosticRefresh>(
(),
|_, _| (),
@ -448,7 +446,7 @@ fn handle_event(&mut self, event: Event) {
let project_or_mem_docs_changed =
became_quiescent || state_changed || memdocs_added_or_removed;
if project_or_mem_docs_changed
&& !supports_diagnostic_pull_model
&& !self.config.text_document_diagnostic()
&& self.config.publish_diagnostics(None)
{
self.update_diagnostics();