Theia API Documentation v1.75.0
    Preparing search index...
    interface ExtractedPluginTree {
        droppedLinks: string[];
        fileCount: number;
    }
    Index

    Properties

    droppedLinks: string[]

    Links not created because their target lies outside the plugin; empty is the normal case.

    fileCount: number

    So a caller can tell an empty source.path subtree from a populated one.