language-servers/language-server-protocol
1
0
Fork 0
mirror of https://github.com/microsoft/language-server-protocol.git synced 2025-12-23 08:48:16 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix punctuation typo (#2048)

Browse source
This commit is contained in:
Pig Fang 2024-10-24 19:46:11 +08:00 • committed by GitHub
parent 5c9d7b009c
commit 2cef6aec02
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
_specifications/lsp/3.17/language/pullDiagnostics.md
View file

@ -88,7 +88,7 @@ export interface DiagnosticRegistrationOptions extends
The text document diagnostic request is sent from the client to the server to ask the server to compute the diagnostics for a given document. As with other pull requests the server is asked to compute the diagnostics for the currently synced version of the document.
_Request_:
* method: 'textDocument/diagnostic'.
* method: `textDocument/diagnostic`.
* params: `DocumentDiagnosticParams` defined as follows:
<div class="anchorHolder"><a href="#documentDiagnosticParams" name="documentDiagnosticParams" class="linkableAnchor"></a></div>
@ -309,7 +309,7 @@ If a client receives a diagnostic report for a document in a workspace diagnosti
- diagnostics from a document pull should win over diagnostics from a workspace pull.
_Request_:
* method: 'workspace/diagnostic'.
* method: `workspace/diagnostic`.
* params: `WorkspaceDiagnosticParams` defined as follows:
<div class="anchorHolder"><a href="#workspaceDiagnosticParams" name="workspaceDiagnosticParams" class="linkableAnchor"></a></div>