Fixes #1761: No client capability for codeLens/resolve (#1979)

This commit is contained in:
Dirk Bäumer 2024-07-09 15:59:48 +02:00 committed by GitHub
parent e91fac91f7
commit e199a1a779
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -14,7 +14,25 @@ export interface CodeLensClientCapabilities {
* Whether code lens supports dynamic registration.
*/
dynamicRegistration?: boolean;
/**
* Whether the client supports resolving additional code lens
* properties via a separate `codeLens/resolve` request.
*
* @since 3.18.0
*/
resolveSupport?: ClientCodeLensResolveOptions;
}
/**
* @since 3.18.0
*/
export type ClientCodeLensResolveOptions = {
/**
* The properties that a client can resolve lazily.
*/
properties: string[];
};
```
_Server Capability_:
@ -97,6 +115,10 @@ interface CodeLens {
The code lens resolve request is sent from the client to the server to resolve the command for a given code lens item.
_Client Capability_:
* property name (optional): `textDocument.codeLens.resolveSupport`
* property type: `ClientCodeLensResolveOptions`
_Request_:
* method: `codeLens/resolve`
* params: `CodeLens`