RenameRegistrationOptions
Registration options for a RenameRequest.
Extends
Section titled “Extends”Properties
Section titled “Properties”documentSelector
Section titled “documentSelector”documentSelector:
DocumentSelector|null
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.
Inherited from
Section titled “Inherited from”TextDocumentRegistrationOptions.documentSelector
prepareProvider?
Section titled “prepareProvider?”
optionalprepareProvider?:boolean
Renames should be checked and tested before being executed.
version 3.12.0
Inherited from
Section titled “Inherited from”workDoneProgress?
Section titled “workDoneProgress?”
optionalworkDoneProgress?:boolean