-
-
Notifications
You must be signed in to change notification settings - Fork 247
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
Improve: properly size unicode 13 and 14 emojis #5915
Conversation
Hey there! Thanks for helping Mudlet improve. 🌟 Test versionsYou can directly test the changes here:
No need to install anything - just unzip and run. |
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.
clang-tidy made some suggestions
Note: widecharwidth added a new return value |
Well, yeah, I was the one who asked for it...! |
Thanks for the reminder @faho! Never hurts to double-check on this. |
Co-authored-by: Stephen Lyons <slysven@virginmedia.com>
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.
LGTM!
Brief overview of PR changes/additions
Start on support for unicode 13 and 14 emojis - start because this will just make them be drawn not squished, but we still depend on the right fonts to be available on the system to actually draw them.
Also re-enable widechar width updates now that we have a solution for it, see ridiculousfish/widecharwidth#11.
Motivation for adding to Mudlet
Keep up with the emojis.
Other info
widechar_non_character
property was added that needs handling - haven't dove into what it means for us just yet.Closes #5910.