diff options
| author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-10-22 14:15:03 +0200 |
|---|---|---|
| committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2014-10-22 14:15:03 +0200 |
| commit | 31617ef43f32601a08eeb737542ef3eb10a97c0b (patch) | |
| tree | 0b134e77a7b50e2954d867f8a5375f879f32ef72 /tex/context/base/lpdf-tag.lua | |
| parent | dae74c79a8f5ea245b8746ddb8539de094c259ef (diff) | |
| download | context-31617ef43f32601a08eeb737542ef3eb10a97c0b.tar.gz | |
2014-10-22 14:01:00
Diffstat (limited to 'tex/context/base/lpdf-tag.lua')
| -rw-r--r-- | tex/context/base/lpdf-tag.lua | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/tex/context/base/lpdf-tag.lua b/tex/context/base/lpdf-tag.lua index 77c5776e2..678a57edd 100644 --- a/tex/context/base/lpdf-tag.lua +++ b/tex/context/base/lpdf-tag.lua @@ -90,8 +90,9 @@ local lasttaginchain = structurestags.lastinchain local usedmapping = { } -local colonsplitter = lpeg.splitat(":") -local dashsplitter = lpeg.splitat("-") +local tagsplitter = structurestags.patterns.splitter +----- colonsplitter = lpeg.splitat(":") +----- dashsplitter = lpeg.splitat("-") local add_ids = false -- true @@ -192,8 +193,9 @@ local function makeattribute(t) end local function makeelement(fulltag,parent,attr) - local tag, n = lpegmatch(dashsplitter,fulltag) - local tg, detail = lpegmatch(colonsplitter,tag) + local tg, detail, n = lpegmatch(tagsplitter,fulltag) + -- local tag, n = lpegmatch(dashsplitter,fulltag) + -- local tg, detail = lpegmatch(colonsplitter,tag) if tg == "ignore" then return false elseif tg == "mstackertop" or tg == "mstackerbot" or tg == "mstackermid"then @@ -226,7 +228,8 @@ local function makeelement(fulltag,parent,attr) end local kids = parent.kids kids[#kids+1] = s - local e = { tag = tag, pref = s, kids = k, knum = r, pnum = pagenum } +-- local e = { tag = tag, pref = s, kids = k, knum = r, pnum = pagenum } + local e = { tag = detail and (tg .. "<" .. detail) or tg, pref = s, kids = k, knum = r, pnum = pagenum } elements[fulltag] = e return e end |