diff options
Diffstat (limited to 'support/texlab/src/workspace/api.rs')
-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)); } |