Theia API Documentation v1.65.0
    Preparing search index...
    interface TimelineProvider {
        id: string;
        label: string;
        onDidChange?: Event<undefined | TimelineChangeEvent>;
        provideTimeline(
            uri: Uri,
            options: TimelineOptions,
            token: CancellationToken,
        ): ProviderResult<Timeline>;
    }
    Index

    Properties

    id: string

    An identifier of the source of the timeline items. This can be used to filter sources.

    label: string

    A human-readable string describing the source of the timeline items. This can be used as the display label when filtering sources.

    onDidChange?: Event<undefined | TimelineChangeEvent>

    An optional event to signal that the timeline for a source has changed. To signal that the timeline for all resources (uris) has changed, do not pass any argument or pass undefined.

    Methods