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

    Module common/skill/skill-registry-preferences

    Variables

    GITHUB_TOKEN_PREF
    SkillRegistryPreferencesSchema

    Settings

    Member Visibility

    On This Page

    Variables