-
Notifications
You must be signed in to change notification settings - Fork 1.7k
Update font: github.com/jslegers/emoji-icon-font #5877
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
base: main
Are you sure you want to change the base?
Conversation
Replace the current emoji-icon-font.ttf with the updated font from jslegers/emoji-icon-font#19 to address emilk#1284 A follow-up should revert emilk@a90379a
2588363
to
28c16db
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice; thank you!
Preview available at https://egui-pr-preview.github.io/pr/5877-danielhjacobs-patch-1 |
I updated the image tests. I guess the updated font has some slight differences made by fontforge when saving the update. |
It's a bit surprising that the image tests fail (except the font book, where the number of support characters increased; as expected). |
@lucasmerlin maybe you can take a look at this? 🙏 |
Replace the current emoji-icon-font.ttf with the updated font from jslegers/emoji-icon-font#19 to address #1284. The second commit then removes the now unnecessary hack.