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

    Interface RemotePlatform

    interface RemotePlatform {
        arch: string;
        os: OS.Type;
    }
    Index

    Properties

    arch os

    Properties

    arch: string
    os: OS.Type

    Settings

    Member Visibility

    On This Page

    Properties