diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-07-14 20:15:04 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-07-14 20:15:04 +0200 |
| commit | bed6a8f91d263c155072adaa865416279b9d58b0 (patch) | |
| tree | 03e12a94d04d3b53da755996dbfba47f1358f3cb /tex/generic | |
| parent | d72fa857ab6689175c7bce5e736a6730b0aea490 (diff) | |
| download | context-bed6a8f91d263c155072adaa865416279b9d58b0.tar.gz | |
2014-07-14 19:28:00
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 3faa9ff54..09582f980 100644 --- a/tex/generic/context/luatex/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 07/14/14 12:38:06 +-- merge date : 07/14/14 19:25:59 do -- begin closure to overcome local limits and interference @@ -6681,7 +6681,7 @@ local report_otf=logs.reporter("fonts","otf loading") local fonts=fonts local otf=fonts.handlers.otf otf.glists={ "gsub","gpos" } -otf.version=2.757 +otf.version=2.758 otf.cache=containers.define("fonts","otf",otf.version,true) local fontdata=fonts.hashes.identifiers local chardata=characters and characters.data @@ -7293,19 +7293,27 @@ end end private=private+1 else - unicodes[name]=unicode if unicode>criterium then local taken=descriptions[unicode] if taken then - private=private+1 + if unicode>=private then + private=unicode+1 + else + private=private+1 + end descriptions[private]=taken unicodes[taken.name]=private indices[taken.index]=private if trace_private then report_otf("slot %U is moved to %U due to private in font",unicode) end + else + if unicode>=private then + private=unicode+1 + end end end + unicodes[name]=unicode end indices[index]=unicode descriptions[unicode]={ |