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

    Interface RemoteProxySocketProviderOptions

    interface RemoteProxySocketProviderOptions {
        path: string;
        port: number;
    }
    Index

    Properties

    path port

    Properties

    path: string
    port: number

    Settings

    Member Visibility

    On This Page

    Properties