提交 28ce7a01 编写于 作者: M Martin Aeschlimann

npm on accessing theme

上级 731ea1ef
......@@ -193,6 +193,9 @@ export class TerminalPanel extends Panel {
}
private _updateTheme(colorTheme?: IColorTheme): void {
if (!colorTheme) {
colorTheme = this._themeService.getColorTheme();
}
let themeId = colorTheme.id;
let baseThemeId = getBaseThemeId(themeId);
if (baseThemeId === this._currentBaseThemeId) {
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册