From 4f7fd66c2f0fc137d2b00606050e620d86dfc901 Mon Sep 17 00:00:00 2001 From: Andrew Pareles Date: Sat, 25 Jan 2025 19:39:38 -0800 Subject: [PATCH] explanation --- src/vs/platform/void/common/voidSettingsService.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/src/vs/platform/void/common/voidSettingsService.ts b/src/vs/platform/void/common/voidSettingsService.ts index 04ed04a0..c92810ab 100644 --- a/src/vs/platform/void/common/voidSettingsService.ts +++ b/src/vs/platform/void/common/voidSettingsService.ts @@ -117,6 +117,7 @@ class VoidSettingsService extends Disposable implements IVoidSettingsService { // read and update the actual state immediately this._readState().then(readS => { + // the stored data structure might be outdated, so we need to update it here (can do a more general solution later when we need to) readS = { ...readS, settingsOfProvider: {