Interface RenameRegistrationOptions

Registration options for a RenameRequest.

interface RenameRegistrationOptions {
    documentSelector: null | DocumentSelector;
    prepareProvider?: 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.

prepareProvider?: boolean

Renames should be checked and tested before being executed.

version 3.12.0

workDoneProgress?: boolean