Theia API Documentation v1.76.0
    Preparing search index...
    externalApiPreferenceSchema: PreferenceSchema = ...

    The external API preference schema. The preferences configure the backend and therefore apply per user: their maximum scope is PreferenceScope.User, so they cannot be overridden in workspace settings.