diff options
| author | Behdad Esfahbod <behdad@behdad.org> | 2014-06-21 14:07:00 -0600 |
|---|---|---|
| committer | Behdad Esfahbod <behdad@behdad.org> | 2014-06-21 14:07:02 -0600 |
| commit | 2390d9b67e1dfeccd3f0850d1304c52b54817ca0 (patch) | |
| tree | ab5e36ecaf84b7811a346d9ccdf080487b21876f /src/gen-arabic-table.py | |
| parent | a133e6067aaebc494c0156b5fac7f4a879e12dbe (diff) | |
[arabic-table] Further tune
In anticipation of Unicode 7.0 data coming in the next commit.
Diffstat (limited to 'src/gen-arabic-table.py')
| -rwxr-xr-x | src/gen-arabic-table.py | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/gen-arabic-table.py b/src/gen-arabic-table.py index 1596126c..ce80cc8a 100755 --- a/src/gen-arabic-table.py +++ b/src/gen-arabic-table.py @@ -73,11 +73,12 @@ def print_joining_table(f): uu = sorted(values.keys()) num = len(values) + all_blocks = set([blocks[u] for u in uu]) last = -1 ranges = [] for u in uu: - if u - last <= 1+16*3: + if u - last <= 1+16*5: ranges[-1][-1] = u else: ranges.append([u,u]) @@ -101,7 +102,10 @@ def print_joining_table(f): if block != last_block or u == start: if u != start: print - print "\n /* %s */" % block + if block in all_blocks: + print "\n /* %s */" % block + else: + print "\n /* FILLER */" last_block = block if u % 32 != 0: print @@ -119,7 +123,7 @@ def print_joining_table(f): print "}; /* Table items: %d; occupancy: %d%% */" % (offset, occupancy) print - page_bits = 8 + page_bits = 12; print print "static unsigned int" print "joining_type (hb_codepoint_t u)" |