diff options
| author | Philipp Mildenberger | 2023-03-18 19:33:17 +0000 |
|---|---|---|
| committer | Philipp Mildenberger | 2023-05-18 19:48:32 +0000 |
| commit | 1122928c2adef0a1c34e90d140c61f84beeb7418 (patch) | |
| tree | 65ed74cdef29859b69e9c44feb85e4b29320078f /helix-term/src | |
| parent | ec2f9091a06d07a8c4faa7533b814bdf59e36c35 (diff) | |
Add method doc.supports_language_server for better readability
Diffstat (limited to 'helix-term/src')
| -rw-r--r-- | helix-term/src/application.rs | 7 |
1 files changed, 2 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 { |