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

    Interface RemoteFileChange

    interface RemoteFileChange {
        resource: string;
        type: FileChangeType;
    }
    Index

    Properties

    resource type

    Properties

    resource: string
    type: FileChangeType

    Settings

    Member Visibility

    On This Page

    Properties