Interface DocumentFormattingParams

The parameters of a DocumentFormattingRequest.

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

Hierarchy (View Summary)

Properties

The format options.

The document to format.

workDoneToken?: ProgressToken

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