Class DocumentHighlightOptions


public class DocumentHighlightOptions extends WorkDoneProgressOptions
Provider options for a [DocumentHighlightRequest](#DocumentHighlightRequest).