Skip to content

TerminalPlugin: fix fonts issue (184)#185

Closed
diegoiast wants to merge 2 commits intomainfrom
184-terminal-fonts-are-wierd
Closed

TerminalPlugin: fix fonts issue (184)#185
diegoiast wants to merge 2 commits intomainfrom
184-terminal-fonts-are-wierd

Conversation

@diegoiast
Copy link
Copy Markdown
Collaborator

The core of the issue is that we did not properly save the fonts in the config.

Also updated the font display in the config. Antialias is still a little borky, to be dealt with in another issue.

The core of the issue is that we did not properly save the fonts in the
config.

Also updated the font display in the config. Antialias is still a little
borky, to be dealt with in another issue.
@diegoiast diegoiast self-assigned this Mar 23, 2026
@diegoiast diegoiast linked an issue Mar 23, 2026 that may be closed by this pull request
@diegoiast diegoiast closed this Mar 23, 2026
@diegoiast
Copy link
Copy Markdown
Collaborator Author

Merged at c549817

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 fonts are wierd

1 participant