summaryrefslogtreecommitdiff
path: root/support/texlab/crates/base-db/src/workspace.rs
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2023-08-13 03:03:49 +0000
committerNorbert Preining <norbert@preining.info>2023-08-13 03:03:49 +0000
commit03f1daec22e3e5e2ae8d117d503ee9648c5b3f91 (patch)
tree1d0fde49b1a45b2263d5688a2e82cec643aea65b /support/texlab/crates/base-db/src/workspace.rs
parent1671b301fbe6cef52ccfa6085824e9677703e023 (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.rs6
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(())
}