Start/stop language servers when enable_language_server changes

This commit is contained in:
Antonio Scandurra 2022-06-09 10:08:11 +02:00
parent 55cc8631cc
commit 36a1a7a819
2 changed files with 68 additions and 5 deletions

View file

@ -240,6 +240,10 @@ impl LanguageRegistry {
.cloned()
}
pub fn to_vec(&self) -> Vec<Arc<Language>> {
self.languages.read().iter().cloned().collect()
}
pub fn language_names(&self) -> Vec<String> {
self.languages
.read()