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

    Implements

    Index

    Constructors

    Methods

    • Unusable identifiers are dropped from the feed rather than half-supported: the alternatives are two plugins silently sharing one directory, or a skill whose /-command cannot be typed. The length cap matters because the encoding truncates, so two identifiers differing only past the cap would encode to the same directory name.

      Parameters

      • pluginId: string

      Returns boolean