diff options
| author | Marius <mariausol@gmail.com> | 2014-01-16 20:00:26 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2014-01-16 20:00:26 +0200 |
| commit | 38d38fd1b339c11849273456bd7f8fa86a9f5155 (patch) | |
| tree | c36a800638e8fe7d0688a9c18ae9a919f33ec327 /tex/generic | |
| parent | 2736c98b75ce6a4741cbf252b8e706e139f536f9 (diff) | |
| download | context-38d38fd1b339c11849273456bd7f8fa86a9f5155.tar.gz | |
beta 2014.01.16 18:46
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 6af830035..3e612d926 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 : 01/15/14 18:03:19 +-- merge date : 01/16/14 18:46:41 do -- begin closure to overcome local limits and interference @@ -395,7 +395,7 @@ function lpeg.replacer(one,two,makefunction,isutf) return pattern end end -function lpeg.finder(lst,makefunction) +function lpeg.finder(lst,makefunction,isutf) local pattern if type(lst)=="table" then pattern=P(false) @@ -411,7 +411,11 @@ function lpeg.finder(lst,makefunction) else pattern=P(lst) end - pattern=(1-pattern)^0*pattern + if isutf then + pattern=((utf8char or 1)-pattern)^0*pattern + else + pattern=(1-pattern)^0*pattern + end if makefunction then return function(str) return lpegmatch(pattern,str) |