Я создаю новую версию расширения, в которой я изменил некоторые имена параметров конфигурации из предыдущей версии.Предположим, что в старой версии параметр имеет имя myextension.oldName
, а в новой версии он становится myextension.newName
.
Я добавляю код миграции, чтобы определить, есть ли у пользователя параметр с установленным myextension.oldName
и если да, то установите myextension.newName
на старое значение.Однако я также хочу удалить myextension.oldName
из настроек пользователя (settings.json
), но не могу найти способ сделать это.Я попытался установить значение myextension.oldName
на null
, но это не изменило значение.Это возможно?