426
427
public setCustomTokenColors(customTokenColors: ITokenColorCustomizations) {
429
>
this.customSemanticHighlightingDeprecated = undefined;
430
>
431
>
// first add the non-theme specific settings
432
>
this.addCustomTokenColors(customTokenColors);
433
>
434
>
// append theme specific settings. Last rules will win.
435
>
const themeSpecificTokenColors = this.getThemeSpecificColors(customTokenColors) as ITokenColorCustomizations;
436
>
if (types.isObject(themeSpecificTokenColors)) {
437
this.addCustomTokenColors(themeSpecificTokenColors);
438
}
440
>
this.tokenColorIndex = undefined;
441
>
this.tokenFontIndex = undefined;
442
>
this.textMateThemingRules = undefined;
443
>
this.customTokenScopeMatchers = undefined;
444
>
}
445
446
public setCustomSemanticTokenColors(semanticTokenColors: ISemanticTokenColorCustomizations | undefined) {