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

Pragmata Pro is outdated #2085

Open
3 tasks done
chipp opened this issue Jan 5, 2025 · 1 comment
Open
3 tasks done

Pragmata Pro is outdated #2085

chipp opened this issue Jan 5, 2025 · 1 comment
Labels
bug Bug that's either related to Blink Shell or prevents the user to use the app in normal conditions.

Comments

@chipp
Copy link

chipp commented Jan 5, 2025

Checklist

Configuration

Blink 18.0.1
Fonts:

  • Pragmata Pro Mono Liga
  • Pragmata Pro Mono
  • Pragmata Pro Liga
  • pragmata test (custom 0.830)

Describe the bug

In #1946, it was mentioned that Pragmata Pro had been updated to 0.830.
However, it looks like it's outdated in 18.0.1.
For the test I used U+F05D7 (altimeter from nerd icons), U+E0A0 (branch), and ligature ">=".
In none of the bundled versions, U+F05D7 is not rendered, but my custom version works fine.

Pragmata Pro Mono Liga (bundled) Pragmata Pro Mono (bundled) Pragmata Pro Liga (bundled) pragmata test (custom 0.830)
IMG_1775 IMG_1776 IMG_1777 IMG_1778
@chipp chipp added the bug Bug that's either related to Blink Shell or prevents the user to use the app in normal conditions. label Jan 5, 2025
@carloscabanero
Copy link
Member

Thanks for the heads up. I will double check this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Bug that's either related to Blink Shell or prevents the user to use the app in normal conditions.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@chipp @carloscabanero