diff --git a/src/vs/workbench/contrib/terminal/browser/terminalView.ts b/src/vs/workbench/contrib/terminal/browser/terminalView.ts index 3515650e137706a29edfb75b43b1cd3cbb2d5f5c..73c126f33c6aa882e631725b8ceeab125701ea2e 100644 --- a/src/vs/workbench/contrib/terminal/browser/terminalView.ts +++ b/src/vs/workbench/contrib/terminal/browser/terminalView.ts @@ -84,10 +84,6 @@ export class TerminalViewPane extends ViewPane { this._register(this.themeService.onDidColorThemeChange(theme => this._updateTheme(theme))); this._register(this.configurationService.onDidChangeConfiguration(e => { - if (e.affectsConfiguration('terminal.integrated') || e.affectsConfiguration('editor.fontFamily')) { - this._updateFont(); - } - if (e.affectsConfiguration('terminal.integrated.fontFamily') || e.affectsConfiguration('editor.fontFamily')) { const configHelper = this._terminalService.configHelper; if (!configHelper.configFontIsMonospace()) { @@ -99,7 +95,6 @@ export class TerminalViewPane extends ViewPane { } } })); - this._updateFont(); this._updateTheme(); this._register(this.onDidChangeBodyVisibility(visible => { @@ -108,7 +103,6 @@ export class TerminalViewPane extends ViewPane { if (!hadTerminals) { this._terminalService.createTerminal(); } - this._updateFont(); this._updateTheme(); if (hadTerminals) { this._terminalService.getActiveTab()?.setVisible(visible); @@ -335,15 +329,6 @@ export class TerminalViewPane extends ViewPane { this._findWidget.updateTheme(theme); } } - - private _updateFont(): void { - if (this._terminalService.terminalInstances.length === 0 || !this._parentDomElement) { - return; - } - // TODO: Can we support ligatures? - // dom.toggleClass(this._parentDomElement, 'enable-ligatures', this._terminalService.configHelper.config.fontLigatures); - this.layoutBody(this._parentDomElement.offsetHeight, this._parentDomElement.offsetWidth); - } } registerThemingParticipant((theme: IColorTheme, collector: ICssStyleCollector) => {