Theia API Documentation v1.65.0
    Preparing search index...
    interface TimelineChangeEvent {
        reset?: boolean;
        uri: Uri;
    }
    Index

    Properties

    Properties

    reset?: boolean

    A flag which indicates whether the entire timeline should be reset.

    uri: Uri

    The uri of the resource for which the timeline changed.