Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TimelineProvider

Hierarchy

  • TimelineProvider

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