The parameters of a DocumentRangeFormattingRequest.

Fields

@:optionaloptionalworkDoneToken:Null<ProgressToken>

An optional token that a server can use to report work done progress.

textDocument:TextDocumentIdentifier

The document to format.

range:Range

The range to format.

options:FormattingOptions

The format options.