diff options
author | Marius <mariausol@gmail.com> | 2013-02-13 19:20:32 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-02-13 19:20:32 +0200 |
commit | 13706211c6f53d83a620a845c9c0e5bb736345a3 (patch) | |
tree | 45c2d15d5a70813202748cea43832e2f8caba00f /tex/context/base/l-lpeg.lua | |
parent | 298e57104a0c60ee6fbf14ff67b9515512a8b7cd (diff) | |
download | context-13706211c6f53d83a620a845c9c0e5bb736345a3.tar.gz |
beta 2013.02.13 18:06
Diffstat (limited to 'tex/context/base/l-lpeg.lua')
-rw-r--r-- | tex/context/base/l-lpeg.lua | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tex/context/base/l-lpeg.lua b/tex/context/base/l-lpeg.lua index d934df8e1..9a08647f9 100644 --- a/tex/context/base/l-lpeg.lua +++ b/tex/context/base/l-lpeg.lua @@ -117,8 +117,11 @@ patterns.utfoffset = utfoffset local utf8char = patterns.utf8one + patterns.utf8two + patterns.utf8three + patterns.utf8four local validutf8char = utf8char^0 * endofstring * Cc(true) + Cc(false) +local utf8character = P(1) * R("\128\191")^0 -- unchecked but fast + patterns.utf8 = utf8char patterns.utf8char = utf8char +patterns.utf8character = utf8character -- this one can be used in most cases so we might use that one patterns.validutf8 = validutf8char patterns.validutf8char = validutf8char |