Interface DocumentRangesFormattingParams

The parameters of a DocumentRangesFormattingRequest.

Since

3.18.0

Proposed

interface DocumentRangesFormattingParams {
    options: FormattingOptions;
    ranges: Range[];
    textDocument: TextDocumentIdentifier;
    workDoneToken?: ProgressToken;
}

Hierarchy (View Summary)

WorkDoneProgressParams
- DocumentRangesFormattingParams

Index

Properties

options ranges textDocument workDoneToken?

Properties

options

options: FormattingOptions

The format options

ranges

ranges: Range[]

The ranges 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.