diff options
author | Blaž Hrastnik | 2023-05-19 00:39:35 +0000 |
---|---|---|
committer | GitHub | 2023-05-19 00:39:35 +0000 |
commit | 53f47bc47771c94dab51626ca025be28e62eba0c (patch) | |
tree | c8f5c59d40d1ecde227c209f898cc7afd6da5477 /xtask/src/docgen.rs | |
parent | 7f5940be80eaa3aec7903903072b7108f41dd97b (diff) | |
parent | 2a512f7c487f0a707a7eb158e24bd478433bcd91 (diff) |
Merge pull request #2507 from Philipp-M/multiple-language-servers
Add support for multiple language servers per language
Diffstat (limited to 'xtask/src/docgen.rs')
-rw-r--r-- | xtask/src/docgen.rs | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/xtask/src/docgen.rs b/xtask/src/docgen.rs index 473882f3..034d9918 100644 --- a/xtask/src/docgen.rs +++ b/xtask/src/docgen.rs @@ -96,11 +96,12 @@ pub fn lang_features() -> Result<String, DynError> { ); } row.push( - lc.language_server - .as_ref() - .map(|s| s.command.clone()) - .map(|c| md_mono(&c)) - .unwrap_or_default(), + lc.language_servers + .iter() + .filter_map(|ls| config.language_server.get(&ls.name)) + .map(|s| md_mono(&s.command.clone())) + .collect::<Vec<_>>() + .join(", "), ); md.push_str(&md_table_row(&row)); |