Skip to content

Commit f1845e5

Browse files
committed
Remove font size fallback
1 parent 8b3c69c commit f1845e5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/vs/workbench/contrib/terminal/browser/terminalConfigurationService.ts

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -108,7 +108,7 @@ export class TerminalFontMetrics extends Disposable {
108108
const editorConfig = this._configurationService.getValue<IEditorOptions>('editor');
109109

110110
let fontFamily = this._terminalConfigurationService.config.fontFamily || editorConfig.fontFamily || EDITOR_FONT_DEFAULTS.fontFamily || 'monospace';
111-
let fontSize = clampInt(this._terminalConfigurationService.config.fontSize ?? 12, FontConstants.MinimumFontSize, FontConstants.MaximumFontSize, EDITOR_FONT_DEFAULTS.fontSize);
111+
let fontSize = clampInt(this._terminalConfigurationService.config.fontSize, FontConstants.MinimumFontSize, FontConstants.MaximumFontSize, EDITOR_FONT_DEFAULTS.fontSize);
112112

113113
// Work around bad font on Fedora/Ubuntu
114114
if (!this._terminalConfigurationService.config.fontFamily) {

0 commit comments

Comments
 (0)