diff options
author | Norbert Preining <norbert@preining.info> | 2023-08-13 03:03:49 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2023-08-13 03:03:49 +0000 |
commit | 03f1daec22e3e5e2ae8d117d503ee9648c5b3f91 (patch) | |
tree | 1d0fde49b1a45b2263d5688a2e82cec643aea65b /support/texlab/crates/base-db/src/workspace.rs | |
parent | 1671b301fbe6cef52ccfa6085824e9677703e023 (diff) |
CTAN sync 202308130303
Diffstat (limited to 'support/texlab/crates/base-db/src/workspace.rs')
-rw-r--r-- | support/texlab/crates/base-db/src/workspace.rs | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/support/texlab/crates/base-db/src/workspace.rs b/support/texlab/crates/base-db/src/workspace.rs index 9308c2401d..35e3904d75 100644 --- a/support/texlab/crates/base-db/src/workspace.rs +++ b/support/texlab/crates/base-db/src/workspace.rs @@ -75,6 +75,12 @@ impl Workspace { Cow::Owned(text) => text, }; + if let Some(document) = self.lookup_path(path) { + if document.text == text { + return Ok(()); + } + } + self.open(uri, text, language, owner, LineCol { line: 0, col: 0 }); Ok(()) } |