Skip to content

Terminal: Disable bold, tweak line height#3215

Merged
david-crespo merged 2 commits into
mainfrom
terminal-line-height-no-bold
Jun 3, 2026
Merged

Terminal: Disable bold, tweak line height#3215
david-crespo merged 2 commits into
mainfrom
terminal-line-height-no-bold

Commits

Commits on May 13, 2026