diff options
author | Norbert Preining <norbert@preining.info> | 2021-11-11 03:00:56 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2021-11-11 03:00:56 +0000 |
commit | 5749e1b65a86cb035a8e4809e7383a98619b0984 (patch) | |
tree | 7f699c2ae9ef2ae3f063583650a343e0d37f66da /support/texlab/src/workspace | |
parent | 3b9a500a47854adcb6f2a248722ae2225d6d7d43 (diff) |
CTAN sync 202111110300
Diffstat (limited to 'support/texlab/src/workspace')
-rw-r--r-- | support/texlab/src/workspace/api.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/support/texlab/src/workspace/api.rs b/support/texlab/src/workspace/api.rs index 38fa0ce530..1ccd19d4e4 100644 --- a/support/texlab/src/workspace/api.rs +++ b/support/texlab/src/workspace/api.rs @@ -33,7 +33,7 @@ pub trait Workspace: Send + Sync { fn reload(&self, path: PathBuf) -> Result<Option<Arc<Document>>> { let uri = Arc::new(Uri::from_file_path(path.clone()).unwrap()); - if self.is_open(&uri) { + if self.is_open(&uri) && !uri.as_str().ends_with(".log") { return Ok(self.get(&uri)); } |