this._register(newSettingsHeaderWidget(this.editor,'')).setMessage(nls.localize('emptyUserSettingsHeader',"Place your settings here to overwrite the Default Settings."));
this._register(newSettingsHeaderWidget(this.editor,'')).setMessage(nls.localize('emptyUserSettingsHeader',"Place your settings here to override the Default Settings."));
}
publicrender():void{
...
...
@@ -190,7 +190,7 @@ export class WorkspaceSettingsRenderer extends UserSettingsRenderer implements I
}
protectedcreateHeader():void{
this._register(newSettingsHeaderWidget(this.editor,'')).setMessage(nls.localize('emptyWorkspaceSettingsHeader',"Place your settings here to overwrite the User Settings."));
this._register(newSettingsHeaderWidget(this.editor,'')).setMessage(nls.localize('emptyWorkspaceSettingsHeader',"Place your settings here to override the User Settings."));
this._register(newSettingsHeaderWidget(this.editor,'')).setMessage(nls.localize('emptyFolderSettingsHeader',"Place your folder settings here to overwrite those from the Workspace Settings."));
this._register(newSettingsHeaderWidget(this.editor,'')).setMessage(nls.localize('emptyFolderSettingsHeader',"Place your folder settings here to override those from the Workspace Settings."));