diff options
| author | Marius <mariausol@gmail.com> | 2011-01-14 15:40:11 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2011-01-14 15:40:11 +0200 |
| commit | 319416b1674e4eb60fd3459a86679df200abce2c (patch) | |
| tree | b68e7aecf131acaf7c3136a28714b49a96fefae7 /tex/generic | |
| parent | 79211c53e598b6666ae7a4e41849f1d761439917 (diff) | |
| download | context-319416b1674e4eb60fd3459a86679df200abce2c.tar.gz | |
beta 2011.01.14 14:32
Diffstat (limited to 'tex/generic')
| -rw-r--r-- | tex/generic/context/luatex-fonts-merged.lua | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tex/generic/context/luatex-fonts-merged.lua b/tex/generic/context/luatex-fonts-merged.lua index 65f20d760..71ebb60fb 100644 --- a/tex/generic/context/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 01/13/11 10:20:58 +-- merge date : 01/14/11 14:32:03 do -- begin closure to overcome local limits and interference @@ -173,9 +173,6 @@ local squote = P("'") local dquote = P('"') local space = P(" ") -patterns.somecontent = (anything - newline - space)^1 -patterns.beginline = #(1-newline) - local utfbom_32_be = P('\000\000\254\255') local utfbom_32_le = P('\255\254\000\000') local utfbom_16_be = P('\255\254') @@ -248,6 +245,9 @@ patterns.undouble = (dquote/"") * patterns.nodquote * (dquote/"") patterns.unquoted = patterns.undouble + patterns.unsingle -- more often undouble patterns.unspacer = ((patterns.spacer^1)/"")^0 +patterns.somecontent = (anything - newline - space)^1 -- (utf8char - newline - space)^1 +patterns.beginline = #(1-newline) + local unquoted = Cs(patterns.unquoted * endofstring) -- not C function string.unquoted(str) |