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.

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

Introduce 0xProto font #1379

Closed
ktekinay opened this issue Oct 12, 2023 · 3 comments · Fixed by #1381
Closed

Introduce 0xProto font #1379

ktekinay opened this issue Oct 12, 2023 · 3 comments · Fixed by #1381

Comments

@ktekinay
Copy link

Requirements

  • [ X ] I have searched the issues for my request and found nothing related and/or helpful
  • [ X ] I have searched the FAQ for help
  • [ X ] I have searched the Wiki for help

Is your feature request related to a problem? Please describe.
N/A

Describe the solution you'd like
Please consider converting the 0xProto font, available here:

https://github.com/0xType/0xProto

Describe alternatives you've considered
N/A

Additional context
This has become my new favorite programming font for its readability and handling of ligatures, but it looks the icons and other niceties that Nerd Fonts brings.

Thanks.

@ktekinay
Copy link
Author

Thanks for adding this. FYI, the name of the font does not show up on the Downloads page, just the description and links.

@Finii
Copy link
Collaborator

Finii commented Nov 13, 2023

the name of the font does not show up on the Downloads page, just the description and links.

See #1411

I will upload the preview images in a few minutes, the real release will take a bit more time, esp. because we still wait for the people at Monaspace.

Copy link
Contributor

This issue has been automatically locked since there has not been any recent activity (i.e. last half year) after it was closed. It helps our maintainers focus on the active issues. If you have found a problem that seems similar, please open a new issue, complete the issue template with all the details necessary to reproduce, and mention this issue as reference.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 20, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants