Interface SemanticTokensRegistrationOptions

Since

3.16.0

interface SemanticTokensRegistrationOptions {
    documentSelector: null | DocumentSelector;
    full?: boolean | SemanticTokensFullDelta;
    id?: string;
    legend: SemanticTokensLegend;
    range?: boolean | {};
    workDoneProgress?: boolean;
}

Hierarchy (View Summary)

Properties

documentSelector full? id? legend range? workDoneProgress?

Properties

documentSelector

documentSelector: null | DocumentSelector

A document selector to identify the scope of the registration. If set to null the document selector provided on the client side will be used.

Optionalfull

full?: boolean | SemanticTokensFullDelta

Server supports providing semantic tokens for a full document.

Optionalid

id?: string

The id used to register the request. The id can be used to deregister the request again. See also Registration#id.

legend

legend: SemanticTokensLegend

The legend used by the server

Optionalrange

range?: boolean | {}

Server supports providing semantic tokens for a specific range of a document.

OptionalworkDoneProgress

workDoneProgress?: boolean

Settings

Member Visibility

On This Page

Properties