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

Include more developer fonts #310

Closed
mbirth opened this issue Aug 4, 2023 · 1 comment
Closed

Include more developer fonts #310

mbirth opened this issue Aug 4, 2023 · 1 comment
Assignees
@simonbs

Comments

@mbirth
Copy link

mbirth commented Aug 4, 2023

Is your feature request related to a problem?

I'd like to see a few more developer fonts in Runestone.

What solution would you like?

Please add fonts like:

What alternatives have you considered?

I've installed those fonts using iFont but they don't show up in the font picker nor the system font picker (iOS 17 Beta). (Tried profile method and the new iOS 13 method.)

Any additional context?

No response
@simonbs
Copy link
Owner

simonbs commented Aug 7, 2023

This issue seems specific to the Runestone Text Editor application whereas this repository is concerned with the Runestone framework. Therefore I'll close the issue.

@simonbs simonbs closed this as completed Aug 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@simonbs simonbs

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@mbirth @simonbs