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

    contribution used for downloading prebuild native dependency when connecting to a remote machine with a different system

    Implements

    Index

    Constructors

    Properties

    appDownloadUrlBase: string = 'https://github.com/eclipse-theia/theia/releases/download'

    Methods