Theia API Documentation v1.75.0
    Preparing search index...
    • The override key for an entry in the given classification state, or undefined when a policy would have nothing to key on.

      Offered for every installed artifact with a registry identity, including the ones showing a warning: a drifted artifact, one that is still to be linked, and one whose registry entry has gone missing all keep their policy, so the choice the user makes now is already in place once the artifact becomes updatable again. The auto-updater still skips them until then - it only ever acts on installed-from-registry.

      Withheld for an artifact that is not installed, where there is nothing yet to keep updated, and for one the registry has never known, which has no id to key an override by.

      Typed against the bare kind because the three artifact families spell their fix state differently (fix-skill, fix-config, fix-plugin) while sharing every state that matters here - the same reason the gear menu itself is kind-agnostic.

      Parameters

      • state: { kind: string }
      • id: undefined | string

      Returns undefined | string