Add method doc.supports_language_server for better readability
commit1122928c2adef0a1c34e90d140c61f84beeb7418
authorPhilipp Mildenberger <philipp@mildenberger.me>
dateSat 18 Mar 2023, 20:33 (4 years ago)
parentec2f909
helix-term/src/application.rs+2−5
@@ -702,7 +702,7 @@ impl Application {
702702 let docs = self
703703 .editor
704704 .documents()
705− .filter(|doc| doc.language_servers().any(|l| l.id() == server_id));
705+ .filter(|doc| doc.supports_language_server(server_id));
706706
707707 // trigger textDocument/didOpen for docs that are already open
708708 for doc in docs {
@@ -969,10 +969,7 @@ impl Application {
969969 .editor
970970 .documents_mut()
971971 .filter_map(|doc| {
972− if doc
973− .language_servers()
974− .any(|server| server.id() == server_id)
975− {
972+ if doc.supports_language_server(server_id) {
976973 doc.clear_diagnostics(server_id);
977974 doc.url()
978975 } else {
helix-view/src/document.rs+4
@@ -1456,6 +1456,10 @@ impl Document {
14561456 })
14571457 }
14581458
1459+ pub fn supports_language_server(&self, id: usize) -> bool {
1460+ self.language_servers().any(|l| l.id() == id)
1461+ }
1462+
14591463 pub fn diff_handle(&self) -> Option<&DiffHandle> {
14601464 self.diff_handle.as_ref()
14611465 }