src/gen-emoji-table.py


Log

Author Commit Date CI Message
Behdad Esfahbod 855a3f47 2021-06-09T15:10:52 [emoji] Fix emoji table generation Previously, the last of each range having Extended_Pictograph property was not processed as so. Ouch! Test: $ echo x > null; hb-shape null -u U+1f43b,U+200d,U+2744,U+fe0f Before: [gid0=0+1000|gid0=2+1000] After: [gid0=0+1000|gid0=0+1000] Caught by https://github.com/harfbuzz/harfbuzz/issues/3017
Ebrahim Byagowi 82c6ddb9 2020-07-03T15:09:10 [py] remove not needed imports
Ebrahim Byagowi 7554f618 2020-05-28T22:51:29 minor, use sys.exit print shorthand
Ebrahim Byagowi 08f1d95a 2020-05-28T15:01:15 minor, move scripts manuals to __doc__
David Corbett fd748fac 2020-03-15T15:59:31 Update to Unicode 13.0.0
Ebrahim Byagowi 8d199077 2020-02-19T14:56:55 Remove python2 support from tests/utils scripts
Ebrahim Byagowi 6a390df8 2020-02-10T17:19:23 [tools] Print unicode links on gen-* tools output As Behdad's review
Evgeniy Reizner 4dc87365 2020-02-09T18:39:33 Add links to files used by python scripts. Closes #2150
Ebrahim Byagowi 9a7b7bd9 2019-06-28T22:53:51 style fix for pylint complain
Behdad Esfahbod 1cdd0fa6 2019-06-26T14:49:15 [emoji] Port generator to packtab
David Corbett 82951182 2018-11-20T15:41:45 Shrink the emoji table by merging adjacent ranges
Behdad Esfahbod 1e8f195b 2018-10-03T17:46:48 [emoji] Add emoji Extended_Pictographic table and function Part of https://github.com/harfbuzz/harfbuzz/issues/1159 .