Theia API Documentation v1.65.0
    Preparing search index...
    interface PluginDeployerStartContext {
        systemEntries: string[];
        userEntries: string[];
    }
    Index

    Properties

    systemEntries: string[]
    userEntries: string[]