dev/fix-issues #12

Merged
hzhang merged 4 commits from dev/fix-issues into main 2026-03-03 18:41:27 +00:00
Showing only changes of commit a177150554 - Show all commits

View File

@@ -318,13 +318,14 @@ else {
}
}
// ── Handle REPLACED entries: restore old value ────────────────────────
// ── Handle REPLACED entries: for uninstall, we still delete (not restore)
// because the user wants to remove the plugin, not restore the old broken config
if (delta.replaced[PATH_PLUGIN_ENTRY] !== undefined) {
const plugins = getJson("plugins") || {};
plugins.entries = plugins.entries || {};
plugins.entries.dirigent = delta.replaced[PATH_PLUGIN_ENTRY];
delete plugins.entries.dirigent;
setJson("plugins", plugins);
console.log("[dirigent] restored previous plugins.entries.dirigent");
console.log("[dirigent] removed plugins.entries.dirigent (had replaced previous config)");
}
if (delta.replaced[PATH_PROVIDER_ENTRY] !== undefined) {