Theia API Documentation v1.65.0
    Preparing search index...
    interface ChangeSetChangeEvent {
        added?: URI[];
        modified?: URI[];
        removed?: URI[];
        state?: URI[];
        title?: string;
    }
    Index

    Properties

    added?: URI[]
    modified?: URI[]
    removed?: URI[]
    state?: URI[]

    Fired when only the state of a given element changes, not its contents

    title?: string