Interface DocumentHighlightRegistrationOptions

Registration options for a DocumentHighlightRequest.

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