make global optional, fixes #12878

This commit is contained in:
Johannes Rieken
2016-09-28 13:42:00 +02:00
parent 01acb0eb2e
commit 2b27189749
2 changed files with 2 additions and 2 deletions

View File

@@ -53,7 +53,7 @@ export class ExtHostConfiguration extends ExtHostConfigurationShape {
}
return result;
},
update: (key: string, value: any, global: boolean) => {
update: (key: string, value: any, global: boolean = false) => {
key = section ? `${section}.${key}` : key;
const target = global ? ConfigurationTarget.USER : ConfigurationTarget.WORKSPACE;
if (value !== void 0) {