shellLauncher.shells.windows不再工作了吗？

Question

更早（十二月？），我能够利用settings.json中的代码块来选择不同的外壳类型。 今天，我注意到这不再起作用。我只能在shell类型上进行选择：“ powershell”，它与我的settings.json中的所有选项都不匹配。 有什么想法吗？

"shellLauncher.shells.windows": [
    {
        "shell": "C:\\Windows\\system32\\cmd.exe",
        "label": "Windows Command Prompt"
    },
    {
        "shell": "C:\\Windows\\system32\\WindowsPowerShell\\v1.0\\powershell.exe",
        "label": "PowerShell 5.1"
    },
    {
        "shell": "C:\\Program Files\\PowerShell\\6\\pwsh.exe",
        "label": "PowerShell Core"
        },
    ],