Theia API Documentation v1.76.0
    Preparing search index...

    Interface DecorationsProvider

    some code copied and modified from https://github.com/microsoft/vscode/blob/1.52.1/src/vs/workbench/services/decorations/browser/decorationsService.ts#L24-L23

    interface DecorationsProvider {
        onDidChange: Event<undefined | URI[]>;
        provideDecorations(
            uri: URI,
            token: CancellationToken,
        ): undefined | Decoration | Promise<undefined | Decoration>;
    }

    Implemented by

    Index

    Properties

    onDidChange

    Methods

    provideDecorations

    Properties

    onDidChange: Event<undefined | URI[]>

    Signals that decorations changed for the given resources. Firing undefined is a flush event: all previously provided decorations may have changed, cached data is dropped and re-fetched on demand. The last known decorations keep being served until the re-fetch of their resource settles, so that displayed decorations do not blink out while the round trip is in flight.

    Methods

    Settings

    Member Visibility

    On This Page

    Properties
    Methods