Top pixels of terminal are cut off

[connor4312]

Using the latest Insiders on Fedora:

This was after opening a terminal the first time, I didn't resize the bottom panel or anything, although the cutoff persists even when I do resize it.

[connor4312]

Actually, I realized this is the top pixels of every line, not just the top line. This happens with a fresh profile with default settings on Fedora.

[Tyriar]

@connor4312 this isn't a new issue is it? I think some fonts on Linux distros have weird font metrics for which there are some workaround here:

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

Lines 113 to 124 in 6ddf63f

	// Work around bad font on Fedora/Ubuntu
	if (!this._terminalConfigurationService.config.fontFamily) {
	if (this.linuxDistro === LinuxDistro.Fedora) {
	fontFamily = '\'DejaVu Sans Mono\'';
	}
	if (this.linuxDistro === LinuxDistro.Ubuntu) {
	fontFamily = '\'Ubuntu Mono\'';
	// Ubuntu mono is somehow smaller, so set fontSize a bit larger to get the same perceived size.
	fontSize = clampInt(fontSize + 2, FontConstants.MinimumFontSize, FontConstants.MaximumFontSize, EDITOR_FONT_DEFAULTS.fontSize);
	}
	}

Also what version of Fedora?

[connor4312]

Oh, perhaps. I just updated to Fedora 40.

[Tyriar]

@connor4312 did you use an older version and you would have noticed there?

[VSCodeTriageBot]

This issue has been closed automatically because it needs more information and has not had recent activity. See also our issue reporting guidelines.

Happy Coding!