WokspaceConfiguration.update() writes machine setting to user settings.json

[joelspadin-garmin]

• VSCode Version: 1.47.1
• OS Version: Windows 10.0.17763 (local), Ubuntu 18.04 (remote)

When WorkspaceConfiguration.update() is used with ConfigurationTarget.Global to update a setting with machine scope, I expect the remote machine's global settings to be updated, but instead the local machine's settings are.

Steps to Reproduce:

1. Create an extension with

// package.json
...
"contributes": {
  "configuration": {
    "type": "object",
    "title": "Example",
    "properties": {
      "foo.bar": {
        "type": "object",
        "scope": "machine"
      }
    }
  }
}

// extension.json
...
const config = vscode.workspace.getConfiguration('foo');
config.update('bar', {'test': 'object'}, vscode.ConfigurationTarget.Global);

2. Run the extension in a remote workspace.

Expected result: "foo.bar": {"test": "object"} is written into the remote machine settings.

Actual result: it is written into the local machine's user settings (and shown grayed out in settings.json with a message "this setting cannot be applied in this window. It will be applied when you open a local window.")

Does this issue occur when all extensions are disabled?: No. (This requires using one of the remote development extensions for the issue to occur.)

[sandy081]

/duplicate

microsoft/vscode-remote-release#1801