ProtectedpickThe plugin's own key while it is free, so servers keep the name the plugin gave them.
ProtectedreadRewrites the entries of every managed plugin from infos and drops those of plugins that are
no longer installed, leaving entries the user wrote alone. Writes nothing when the result is
unchanged, so it is safe to call on every filesystem event.
Servers the plugin root rejected are surfaced on the card instead of registered.
ProtectedsameOrder-insensitive: rewriting the preference restarts servers, so an equal result must not.
ProtectedtoProtectedwithoutProtectedwrite
The seam between installed Agent Plugins and Theia's MCP configuration. Ownership rides on
registryMetadata.pluginIdrather than a recorded list of keys, so renaming a key in the preference does not orphan the entry.No merge policy on purpose: an update deletes the plugin's entries and writes them again from the root. The MCP preference is about to become a file-based configuration and this is rewritten then.