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

    This data service provides property data for FileSelections and selections of Navigatables.

    Implements

    Index

    Constructors

    Properties

    fileService: FileService
    id: "resources" = 'resources'

    A unique id for this provider.

    label: "ResourcePropertyDataService" = 'ResourcePropertyDataService'

    A human-readable name for this provider.

    Methods