Clarify diagnostic pull (#1776)

* Clarify diagnostic pull * Fix small typo
microsoft · Jul 18, 2023 · 8d13cb2 · 8d13cb2
1 parent 877905e
commit 8d13cb2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/_specifications/lsp/3.17/language/pullDiagnostics.md b/_specifications/lsp/3.17/language/pullDiagnostics.md
@@ -306,7 +306,7 @@ The workspace diagnostic request is sent from the client to the server to ask th
 If a client receives a diagnostic report for a document in a workspace diagnostic request for which the client also issues individual document diagnostic pull requests the client needs to decide which diagnostics win and should be presented. In general:
 
 - diagnostics for a higher document version should win over those from a lower document version (e.g. note that document versions are steadily increasing)
-- diagnostics from a document pull should win over diagnostics form a workspace pull if no version information is provided.
+- diagnostics from a document pull should win over diagnostics from a workspace pull.
 
 _Request_:
 * method: 'workspace/diagnostic'.

diff --git a/_specifications/lsp/3.18/language/pullDiagnostics.md b/_specifications/lsp/3.18/language/pullDiagnostics.md
@@ -306,7 +306,7 @@ The workspace diagnostic request is sent from the client to the server to ask th
 If a client receives a diagnostic report for a document in a workspace diagnostic request for which the client also issues individual document diagnostic pull requests the client needs to decide which diagnostics win and should be presented. In general:
 
 - diagnostics for a higher document version should win over those from a lower document version (e.g. note that document versions are steadily increasing)
-- diagnostics from a document pull should win over diagnostics form a workspace pull if no version information is provided.
+- diagnostics from a document pull should win over diagnostics from a workspace pull.
 
 _Request_:
 * method: 'workspace/diagnostic'.