Interface CodeLensRegistrationOptions

Registration options for a CodeLensRequest.

interface CodeLensRegistrationOptions {
    documentSelector: null | DocumentSelector;
    resolveProvider?: boolean;
    workDoneProgress?: boolean;
}

Properties

documentSelector: null | DocumentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

resolveProvider?: boolean

Code lens has a resolve provider as well.

workDoneProgress?: boolean