diff options
Diffstat (limited to 'helix-term/src/application.rs')
| -rw-r--r-- | helix-term/src/application.rs | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/helix-term/src/application.rs b/helix-term/src/application.rs index 14636829..8803792a 100644 --- a/helix-term/src/application.rs +++ b/helix-term/src/application.rs @@ -709,7 +709,16 @@ impl Application { return; } }; - let doc = self.editor.document_by_path_mut(&path); + let doc = self.editor.document_by_path_mut(&path).filter(|doc| { + if let Some(version) = params.version { + if version != doc.version() { + log::info!("Version ({version}) is out of date for {path:?} (expected ({}), dropping PublishDiagnostic notification", doc.version()); + return false; + } + } + + true + }); if let Some(doc) = doc { let lang_conf = doc.language_config(); |