Skip to content

fix: respect terminal font override settings#367

Merged
Anton-Horn merged 1 commit into
0-AI-UG:mainfrom
HarunOr:fix-terminal-font-overrides
Jun 10, 2026
Merged

fix: respect terminal font override settings#367
Anton-Horn merged 1 commit into
0-AI-UG:mainfrom
HarunOr:fix-terminal-font-overrides

Conversation

@HarunOr

@HarunOr HarunOr commented Jun 9, 2026

Copy link
Copy Markdown
Contributor

Closes #285

Summary

  • Apply terminalFontFamily when constructing xterm terminals.
  • Apply terminalFontSize instead of hardcoding 13.
  • Keep terminal zoom render-scaling based on the configured base font size.
  • Add regression coverage for default and configured terminal font settings.

@Anton-Horn

Copy link
Copy Markdown
Contributor

Thanks for the PR. Well scoped, seems like the settings slipped through after some refactoring. Will merge once CI ran through.

@Anton-Horn Anton-Horn merged commit 2bc2db9 into 0-AI-UG:main Jun 10, 2026
3 checks passed
@HarunOr HarunOr deleted the fix-terminal-font-overrides branch June 10, 2026 10:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Terminal "Font family override" setting is never applied (Nerd Font icons can't render)

2 participants