Interface SelectionRangeRegistrationOptions

General text document registration options.

interface SelectionRangeRegistrationOptions {
    documentSelector: null | DocumentSelector;
    id?: string;
    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.

id?: string

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

workDoneProgress?: boolean