diff options
| author | Marius <mariausol@gmail.com> | 2013-03-14 00:00:16 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-03-14 00:00:16 +0200 |
| commit | 660cef836abefb5cb3256ce80532e5c4abc5af7f (patch) | |
| tree | a4622bb5be49cbe33370971c178e2f3ebd73c1bf /tex/generic | |
| parent | cd8765990d61b170217b7f94ec413ea681c315e4 (diff) | |
| download | context-660cef836abefb5cb3256ce80532e5c4abc5af7f.tar.gz | |
beta 2013.03.13 22:42
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 6e66837f0..d7f83cb87 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 : 03/13/13 21:00:05 +-- merge date : 03/13/13 22:42:27 do -- begin closure to overcome local limits and interference @@ -2654,10 +2654,10 @@ string.tracedchars=tracedchars strings.tracers=tracedchars function string.tracedchar(b) if type(b)=="number" then - return tracedchars[b] or (utfchar(b).." (U+"..format('%%05X',b)..")") + return tracedchars[b] or (utfchar(b).." (U+"..format('%05X',b)..")") else local c=utfbyte(b) - return tracedchars[c] or (b.." (U+"..format('%%05X',c)..")") + return tracedchars[c] or (b.." (U+"..format('%05X',c)..")") end end function number.signed(i) |