diff options
author | Karl Berry <karl@freefriends.org> | 2020-03-05 00:48:46 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-03-05 00:48:46 +0000 |
commit | f210bce174e1f2f05305ab03e88e120a1cbfc4da (patch) | |
tree | 5c4e2ad096b5c745e859516ac3196fa0864292d5 /Master/texmf-dist/tex/context/base/mkiv/buff-imp-xml.lua | |
parent | 35fd641a3546acc0c62e0aa7f134888e36da30d4 (diff) |
context (from cont-tmf.zip of Feb 17 16:00, size 116339406)
git-svn-id: svn://tug.org/texlive/trunk@54086 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/context/base/mkiv/buff-imp-xml.lua')
-rw-r--r-- | Master/texmf-dist/tex/context/base/mkiv/buff-imp-xml.lua | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/Master/texmf-dist/tex/context/base/mkiv/buff-imp-xml.lua b/Master/texmf-dist/tex/context/base/mkiv/buff-imp-xml.lua index 0c48ed3b090..b7fa85818a0 100644 --- a/Master/texmf-dist/tex/context/base/mkiv/buff-imp-xml.lua +++ b/Master/texmf-dist/tex/context/base/mkiv/buff-imp-xml.lua @@ -41,7 +41,9 @@ local handler = visualizers.newhandler { } local comment = P("--") -local name = (patterns.letter + patterns.digit + S('_-.'))^1 +local alsoname = patterns.utf8two + patterns.utf8three + patterns.utf8four +----- alsoname = R("\128\255") -- basically any encoding without checking (fast) +local name = (patterns.letter + patterns.digit + S('_-.') + alsoname)^1 local entity = P("&") * (1-P(";"))^1 * P(";") local openbegin = P("<") local openend = P("</") @@ -57,11 +59,11 @@ local closecdata = P("]]>") local grammar = visualizers.newgrammar("default", { "visualizer", sstring = makepattern(handler,"string",patterns.dquote) - * (V("whitespace") + makepattern(handler,"default",1-patterns.dquote))^0 + * (V("whitespace") + makepattern(handler,"default",(1-patterns.dquote)^0)) * makepattern(handler,"string",patterns.dquote), dstring = makepattern(handler,"string",patterns.squote) - * (V("whitespace") + makepattern(handler,"default",1-patterns.squote))^0 + * (V("whitespace") + makepattern(handler,"default",(1-patterns.squote)^0)) * makepattern(handler,"string",patterns.squote), entity = makepattern(handler,"entity",entity), |