diff options
| -rw-r--r-- | helix-term/src/application.rs | 7 | ||||
| -rw-r--r-- | helix-view/src/document.rs | 4 |
2 files changed, 6 insertions, 5 deletions
diff --git a/helix-term/src/application.rs b/helix-term/src/application.rs index 83473179..dbb873e0 100644 --- a/helix-term/src/application.rs +++ b/helix-term/src/application.rs @@ -702,7 +702,7 @@ impl Application { let docs = self .editor .documents() - .filter(|doc| doc.language_servers().any(|l| l.id() == server_id)); + .filter(|doc| doc.supports_language_server(server_id)); // trigger textDocument/didOpen for docs that are already open for doc in docs { @@ -969,10 +969,7 @@ impl Application { .editor .documents_mut() .filter_map(|doc| { - if doc - .language_servers() - .any(|server| server.id() == server_id) - { + if doc.supports_language_server(server_id) { doc.clear_diagnostics(server_id); doc.url() } else { diff --git a/helix-view/src/document.rs b/helix-view/src/document.rs index 4b075293..5fec3361 100644 --- a/helix-view/src/document.rs +++ b/helix-view/src/document.rs @@ -1456,6 +1456,10 @@ impl Document { }) } + pub fn supports_language_server(&self, id: usize) -> bool { + self.language_servers().any(|l| l.id() == id) + } + pub fn diff_handle(&self) -> Option<&DiffHandle> { self.diff_handle.as_ref() } |