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

    Customized connection provider between the frontend and the backend in electron environment. This customized connection provider makes sure the websocket connection does not try to reconnect once the electron-browser window is refreshed. Otherwise, backend resources are not disposed.

    Hierarchy (View Summary)

    Implements

    Index

    Constructors

    Properties

    currentChannel: AbstractChannel
    frontendIdProvider: FrontendIdProvider
    onConnectionDidOpenEmitter: Emitter<Channel> = ...
    onIncomingMessageActivityEmitter: Emitter<void> = ...
    onSocketDidCloseEmitter: Emitter<void> = ...
    onSocketDidOpenEmitter: Emitter<void> = ...
    NO_CONNECTION: "<none>" = '<none>'

    Accessors

    Methods