this._register(newSettingsHeaderWidget(this.editor,'')).setMessage(nls.localize('emptyUserSettingsHeader',"Place your settings here to override the Default Settings."));
@@ -193,12 +193,12 @@ export class WorkspaceSettingsRenderer extends UserSettingsRenderer implements I
this._register(newSettingsHeaderWidget(this.editor,'')).setMessage(nls.localize('emptyWorkspaceSettingsHeader',"Place your settings here to override the User Settings."));