Interface DocumentRangeFormattingParams

The parameters of a DocumentRangeFormattingRequest.

interface DocumentRangeFormattingParams {
    options: FormattingOptions;
    range: Range;
    textDocument: TextDocumentIdentifier;
    workDoneToken?: ProgressToken;
}

Hierarchy (View Summary)

WorkDoneProgressParams
- DocumentRangeFormattingParams

Index

Properties

options range textDocument workDoneToken?

Properties

options

options: FormattingOptions

The format options

range

range: Range

The range to format

textDocument

textDocument: TextDocumentIdentifier

The document to format.

`Optional`workDoneToken

workDoneToken?: ProgressToken

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