Only reload TeX documents if config changed

This commit is contained in:
Patrick Förster 2023-04-09 21:02:56 +02:00
parent 3c243635bd
commit 3ae4a457fa

View file

@ -195,6 +195,7 @@ impl Workspace {
let uris = self
.documents
.iter()
.filter(|document| document.language == Language::Tex)
.map(|document| document.uri.clone())
.collect::<Vec<Url>>();