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

    Frontend component.

    Wraps the remote filesystem provider living on the backend.

    Hierarchy (View Summary)

    Implements

    Index

    Constructors

    Properties

    onDidChangeCapabilities: Event<void> = ...
    • Event that is fired if the capabilities of this provider have changed.
    onDidChangeFile: Event<readonly FileChange[]> = ...

    Event that is fired if a (watched) file in the filesystem of this provider has changed.

    onDidChangeReadOnlyMessage: Event<undefined | MarkdownString> = ...
    onFileWatchError: Event<void> = ...

    Event that is fired if an error occurred when watching files in the filesystem of this provider.

    ready: Promise<void> = ...
    readyDeferred: Deferred<void> = ...

    Wrapped remote filesystem.

    streamHandleSeq: number = 0
    toDispose: DisposableCollection = ...
    watcherSequence: number = 0
    watchOptions: Map<number, { options: WatchOptions; uri: string }> = ...

    We'll track the currently allocated watchers, in order to re-allocate them with the same options once we reconnect to the backend after a disconnection.

    Accessors

    Methods