Interface HoverRegistrationOptions

Registration options for a HoverRequest.

interface HoverRegistrationOptions {
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