on master help sign in
Add method doc.supports_language_server for better readability
1122928Philipp Mildenberger
helix-term/src/application.rs+2−5
@@ -702,7 +702,7 @@ impl Application {
702 let docs = self
702 let docs = self
703 .editor
703 .editor
704 .documents()
704 .documents()
705− .filter(|doc| doc.language_servers().any(|l| l.id() == server_id));
705+ .filter(|doc| doc.supports_language_server(server_id));
706
706
707 // trigger textDocument/didOpen for docs that are already open
707 // trigger textDocument/didOpen for docs that are already open
708 for doc in docs {
708 for doc in docs {
@@ -969,10 +969,7 @@ impl Application {
969 .editor
969 .editor
970 .documents_mut()
970 .documents_mut()
971 .filter_map(|doc| {
971 .filter_map(|doc| {
972− if doc
972+ if doc.supports_language_server(server_id) {
973− .language_servers()
974− .any(|server| server.id() == server_id)
975− {
976 doc.clear_diagnostics(server_id);
973 doc.clear_diagnostics(server_id);
977 doc.url()
974 doc.url()
978 } else {
975 } else {
helix-view/src/document.rs+4
@@ -1456,6 +1456,10 @@ impl Document {
1456 })
1456 })
1457 }
1457 }
1458
1458
1459+ pub fn supports_language_server(&self, id: usize) -> bool {
1460+ self.language_servers().any(|l| l.id() == id)
1461+ }
1462+
1459 pub fn diff_handle(&self) -> Option<&DiffHandle> {
1463 pub fn diff_handle(&self) -> Option<&DiffHandle> {
1460 self.diff_handle.as_ref()
1464 self.diff_handle.as_ref()
1461 }
1465 }