Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Font Expansion #3716

Open
Bassoonian opened this issue Dec 13, 2023 · 1 comment
Open

Font Expansion #3716

Bassoonian opened this issue Dec 13, 2023 · 1 comment
Labels
feature-request Requests a new feature

Comments

@Bassoonian
Copy link
Collaborator

Description

Add configs to easily allow users to include/switch to other fonts such as FRLG, DPPt etc. Bonus points for THUD support

Discord contact info

No response
@Bassoonian Bassoonian added the feature-request Requests a new feature label Dec 13, 2023
@mrgriffin
Copy link
Collaborator

mrgriffin commented Apr 25, 2024 •
edited
Loading

Warning: this becomes more annoying with #4241, because it introduces three new fonts which are narrower versions of existing fonts (and the new ones get used in many of the UIs).

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature-request Requests a new feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@mrgriffin @Bassoonian @hedara90