Interface DocumentFormattingParams

The parameters of a DocumentFormattingRequest.

interface DocumentFormattingParams {
    options: FormattingOptions;
    textDocument: TextDocumentIdentifier;
    workDoneToken?: ProgressToken;
}

Hierarchy (View Summary)

WorkDoneProgressParams
- DocumentFormattingParams

Index

Properties

options textDocument workDoneToken?

Properties

options

options: FormattingOptions

The format options.

textDocument

textDocument: TextDocumentIdentifier

The document to format.

`Optional`workDoneToken

workDoneToken?: ProgressToken

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