Skip to content

Update to Unicode 11 #43

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Closed
Manishearth opened this issue May 21, 2018 · 3 comments
Closed

Update to Unicode 11 #43

Manishearth opened this issue May 21, 2018 · 3 comments

Comments

@Manishearth
Copy link
Member

Unicode 11 comes out in June, and we should update to it.

There are a bunch of changes to the grapheme and word stuff involved here. Most of the complex emoji rules have been replaced with things using \p{Extended_Pictographic}, which is not a disjoint grapheme category, rather it is an additional property. This crate may require some refactoring.

We may want to update to Unicode 10 before that; that should be a straightforward regen of the tables IIRC.
@Manishearth Manishearth mentioned this issue May 21, 2018
Closed
@behnam behnam mentioned this issue Apr 8, 2019
Open
8 tasks
@rth rth mentioned this issue May 15, 2019
Merged
@rth
Copy link
Contributor

rth commented May 15, 2019

We may want to update to Unicode 10 before that; that should be a straightforward regen of the tables IIRC.

PR proposed in #56

@Manishearth
Copy link
Member Author

Some more background on the emoji simplifications in 11: https://unicode.org/mail-arch/unicode-ml/y2018-m01/0000.html, http://www.unicode.org/review/pri355/

@Manishearth Manishearth mentioned this issue Sep 10, 2019
Closed
@wezm
Copy link

wezm commented Dec 19, 2019

Can this be closed now that #72 is merged?

# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@wezm @rth @Manishearth