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

    Each time a client makes a watchRequest, we generate a unique watcherId for it.

    This watcherId will map to this handle type which keeps track of the clientId that made the request.

    interface PacelWatcherHandle {
        clientId: number;
        watcher: ParcelWatcher;
    }
    Index

    Properties

    Properties

    clientId: number
    watcher: ParcelWatcher