Unable to open workspace settings if "workbench.settings.openDefaultSettings": false (fixes #11888)

This commit is contained in:
Benjamin Pasero 2016-09-12 17:20:30 +02:00
parent a23e82d374
commit b3e928809e

View file

@ -110,10 +110,11 @@ export class BaseOpenSettingsAction extends BaseTwoEditorsAction {
return this.openTwoEditors(DefaultSettingsInput.getInstance(this.instantiationService, this.configurationService), settingsResource, emptySettingsContents);
}
return this.editorService.openEditor({
// Create as needed and open in editor
return this.createIfNotExists(settingsResource, emptySettingsContents).then(() => this.editorService.openEditor({
resource: settingsResource,
options: { pinned: true }
}).then(() => null);
}).then(() => null));
}
}