@@ -702,7 +702,7 @@ impl Application {
702 let docs = self
702 let docs = self
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));
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 {
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) {
974− .any(|server| server.id() == server_id)
976 doc.clear_diagnostics(server_id);
973 doc.clear_diagnostics(server_id);
977 doc.url()
974 doc.url()