Interface DefinitionRegistrationOptions

Registration options for a DefinitionRequest.

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

workDoneProgress?: boolean