提交 03b1459e 编写于 作者: M Martin Aeschlimann

Theme: theme change no longer applied to settings. Fixes #20877

上级 a15e34f7
...@@ -368,7 +368,7 @@ export class ThemeService implements IThemeService { ...@@ -368,7 +368,7 @@ export class ThemeService implements IThemeService {
return TPromise.as(null); return TPromise.as(null);
} }
if (themeId === this.currentColorTheme.id && this.currentColorTheme.isLoaded) { if (themeId === this.currentColorTheme.id && this.currentColorTheme.isLoaded) {
return TPromise.as(this.currentColorTheme); return this.writeColorThemeConfiguration(settingsTarget);
} }
themeId = validateThemeId(themeId); // migrate theme ids themeId = validateThemeId(themeId); // migrate theme ids
...@@ -403,8 +403,8 @@ export class ThemeService implements IThemeService { ...@@ -403,8 +403,8 @@ export class ThemeService implements IThemeService {
} }
private writeColorThemeConfiguration(settingsTarget: ConfigurationTarget) { private writeColorThemeConfiguration(settingsTarget: ConfigurationTarget) {
if (!types.isUndefinedOrNull(settingsTarget)) { let value = this.currentColorTheme.settingsId;
let value = this.currentColorTheme.settingsId; if (!types.isUndefinedOrNull(settingsTarget) && this.configurationService.lookup(COLOR_THEME_SETTING).value !== value) {
if (settingsTarget === ConfigurationTarget.USER && this.currentColorTheme.id === DEFAULT_THEME_ID) { if (settingsTarget === ConfigurationTarget.USER && this.currentColorTheme.id === DEFAULT_THEME_ID) {
value = void 0; // remove key from user settings value = void 0; // remove key from user settings
} }
...@@ -606,8 +606,8 @@ export class ThemeService implements IThemeService { ...@@ -606,8 +606,8 @@ export class ThemeService implements IThemeService {
} }
private writeFileIconConfiguration(settingsTarget: ConfigurationTarget): TPromise<IFileIconTheme> { private writeFileIconConfiguration(settingsTarget: ConfigurationTarget): TPromise<IFileIconTheme> {
if (!types.isUndefinedOrNull(settingsTarget)) { let value = this.currentIconTheme.settingsId;
let value = this.currentIconTheme.settingsId; if (!types.isUndefinedOrNull(settingsTarget) && this.configurationService.lookup(ICON_THEME_SETTING).value !== value) {
if (settingsTarget === ConfigurationTarget.USER && this.currentIconTheme.id === '') { if (settingsTarget === ConfigurationTarget.USER && this.currentIconTheme.id === '') {
value = void 0; // remove key from user settings value = void 0; // remove key from user settings
} }
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册