DocumentHighlightOptions
Provider options for a DocumentHighlightRequest.
Extends
Section titled “Extends”Extended by
Section titled “Extended by”Properties
Section titled “Properties”workDoneProgress?
Section titled “workDoneProgress?”
optionalworkDoneProgress?:boolean