public static DocumentHighlightOptions Of(IDocumentHighlightOptions options) { return(new DocumentHighlightOptions() { WorkDoneProgress = options.WorkDoneProgress }); }
public static DocumentHighlightOptions Of(IDocumentHighlightOptions options, IEnumerable <IHandlerDescriptor> descriptors) { return(new DocumentHighlightOptions() { WorkDoneProgress = options.WorkDoneProgress }); }