mirror of
https://github.com/microsoft/language-server-protocol.git
synced 2025-12-23 08:48:16 +00:00
fix: ServerCapability.documentHighlightProvider accepts DocumentHighlightRegistrationOptions too
This commit is contained in:
parent
f72ac036c1
commit
00a0953d78
6 changed files with 14 additions and 4 deletions
|
|
@ -728,7 +728,8 @@ interface ServerCapabilities {
|
|||
/**
|
||||
* The server provides document highlight support.
|
||||
*/
|
||||
documentHighlightProvider?: boolean | DocumentHighlightOptions;
|
||||
documentHighlightProvider?: boolean | DocumentHighlightOptions
|
||||
| DocumentHighlightRegistrationOptions;
|
||||
|
||||
/**
|
||||
* The server provides document symbol support.
|
||||
|
|
|
|||
|
|
@ -22,7 +22,7 @@ export interface DocumentHighlightClientCapabilities {
|
|||
|
||||
_Server Capability_:
|
||||
* property name (optional): `documentHighlightProvider`
|
||||
* property type: `boolean | DocumentHighlightOptions` where `DocumentHighlightOptions` is defined as follows:
|
||||
* property type: `boolean | DocumentHighlightOptions | DocumentHighlightRegistrationOptions` where `DocumentHighlightOptions` is defined as follows:
|
||||
|
||||
<div class="anchorHolder"><a href="#documentHighlightOptions" name="documentHighlightOptions" class="linkableAnchor"></a></div>
|
||||
|
||||
|
|
|
|||
|
|
@ -8315,6 +8315,10 @@
|
|||
{
|
||||
"kind": "reference",
|
||||
"name": "DocumentHighlightOptions"
|
||||
},
|
||||
{
|
||||
"kind": "reference",
|
||||
"name": "DocumentHighlightRegistrationOptions"
|
||||
}
|
||||
]
|
||||
},
|
||||
|
|
|
|||
|
|
@ -756,7 +756,8 @@ interface ServerCapabilities {
|
|||
/**
|
||||
* The server provides document highlight support.
|
||||
*/
|
||||
documentHighlightProvider?: boolean | DocumentHighlightOptions;
|
||||
documentHighlightProvider?: boolean | DocumentHighlightOptions
|
||||
| DocumentHighlightRegistrationOptions;
|
||||
|
||||
/**
|
||||
* The server provides document symbol support.
|
||||
|
|
|
|||
|
|
@ -22,7 +22,7 @@ export interface DocumentHighlightClientCapabilities {
|
|||
|
||||
_Server Capability_:
|
||||
* property name (optional): `documentHighlightProvider`
|
||||
* property type: `boolean | DocumentHighlightOptions` where `DocumentHighlightOptions` is defined as follows:
|
||||
* property type: `boolean | DocumentHighlightOptions | DocumentHighlightRegistrationOptions` where `DocumentHighlightOptions` is defined as follows:
|
||||
|
||||
<div class="anchorHolder"><a href="#documentHighlightOptions" name="documentHighlightOptions" class="linkableAnchor"></a></div>
|
||||
|
||||
|
|
|
|||
|
|
@ -8544,6 +8544,10 @@
|
|||
{
|
||||
"kind": "reference",
|
||||
"name": "DocumentHighlightOptions"
|
||||
},
|
||||
{
|
||||
"kind": "reference",
|
||||
"name": "DocumentHighlightRegistrationOptions"
|
||||
}
|
||||
]
|
||||
},
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue