Update extension list after removing an obsolete extension (#579)

The removed extension was never removed from the cached list
This commit is contained in:
schroda
2024-01-29 20:56:09 +01:00
committed by GitHub
parent cee566d9b2
commit 506e0aa0e3
2 changed files with 19 additions and 15 deletions

View File

@@ -110,13 +110,13 @@ export function ExtensionCard(props: IProps) {
setInstalledState(state);
switch (action) {
case ExtensionAction.INSTALL:
await requestManager.updateExtension(pkgName, { install: true }).response;
await requestManager.updateExtension(pkgName, { install: true, isObsolete }).response;
break;
case ExtensionAction.UNINSTALL:
await requestManager.updateExtension(pkgName, { uninstall: true }).response;
await requestManager.updateExtension(pkgName, { uninstall: true, isObsolete }).response;
break;
case ExtensionAction.UPDATE:
await requestManager.updateExtension(pkgName, { update: true }).response;
await requestManager.updateExtension(pkgName, { update: true, isObsolete }).response;
break;
default:
throw new Error(`Unexpected ExtensionAction "${action}"`);