From a74c1ccd553f581007dd3cbc7b111e3ade9e0f93 Mon Sep 17 00:00:00 2001 From: Devin AI <158243242+devin-ai-integration[bot]@users.noreply.github.com> Date: Tue, 17 Feb 2026 00:13:43 +0000 Subject: [PATCH] Fix stale hidden models: unhide defaults when count drops below threshold Co-Authored-By: Danial Piterson --- src/vs/workbench/contrib/void/common/voidSettingsService.ts | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/vs/workbench/contrib/void/common/voidSettingsService.ts b/src/vs/workbench/contrib/void/common/voidSettingsService.ts index 026e31f2..725bf5fa 100644 --- a/src/vs/workbench/contrib/void/common/voidSettingsService.ts +++ b/src/vs/workbench/contrib/void/common/voidSettingsService.ts @@ -128,7 +128,11 @@ const _stateWithMergedDefaultModels = (state: VoidSettingsState): VoidSettingsSt const defaultModels = defaultSettingsOfProvider[providerName]?.models ?? [] const currentModels = newSettingsOfProvider[providerName]?.models ?? [] const defaultModelNames = defaultModels.map(m => m.modelName) - const newModels = _modelsWithSwappedInNewModels({ existingModels: currentModels, models: defaultModelNames, type: 'default' }) + let newModels = _modelsWithSwappedInNewModels({ existingModels: currentModels, models: defaultModelNames, type: 'default' }) + const defaultsInNew = newModels.filter(m => m.type === 'default') + if (defaultsInNew.length > 0 && defaultsInNew.length < 10 && defaultsInNew.every(m => m.isHidden)) { + newModels = newModels.map(m => m.type === 'default' ? { ...m, isHidden: false } : m) + } newSettingsOfProvider = { ...newSettingsOfProvider, [providerName]: {