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

    The event filesystem providers must use to signal a file change.

    interface FileChangeEvent {
        type: FileChangeType;
        uri: Uri;
    }
    Index

    Properties

    Properties

    The type of change.

    uri: Uri

    The uri of the file that has changed.