Elgato_dark/void
1
0
Fork 0
mirror of https://github.com/voideditor/void synced 2026-05-24 09:58:23 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #12 from danialsamiei/devin/1771287206-fix-stale-hidden-models

Browse source 
Fix stale hidden models: unhide defaults when count drops below threshold
This commit is contained in:
Danial Samiei 2026-02-17 03:46:11 +03:30 committed by GitHub
commit 35e5a92911
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/vs/workbench/contrib/void/common/voidSettingsService.ts
View file

@ -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]: {