Theia API Documentation v1.76.0
    Preparing search index...
    interface DecorationsService {
        onDidChangeDecorations: Event<Map<string, Decoration>>;
        getDecoration(uri: URI, includeChildren: boolean): Decoration[];
        registerDecorationsProvider(provider: DecorationsProvider): Disposable;
    }

    Implemented by

    Index

    Properties

    onDidChangeDecorations: Event<Map<string, Decoration>>

    Fired when decorations changed. The payload maps the string representation of the affected resource URIs to their new decoration. Removals are never part of the payload: resources whose decoration was removed are simply absent, and an empty map signals that an unspecified set of decorations changed (e.g. a provider fired a flush event). Clients must therefore track the resources they display and re-query them on every event rather than react to the payload keys alone. Change notifications caused by asynchronously resolving decoration requests are batched: many resolutions result in a single event.

    Methods