diff options
author | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-05-09 14:15:05 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg42.2a@gmail.com> | 2015-05-09 14:15:05 +0200 |
commit | b2720858f841530581e009ae380e39b4267a3d5d (patch) | |
tree | 4b1e59aacc68d05cbeabd0d2fb30c34dd6f6e754 /tex/context/base/lxml-tex.lua | |
parent | 09c6bc4b280905c198d7e40b3b6c3addc6f975ca (diff) | |
download | context-b2720858f841530581e009ae380e39b4267a3d5d.tar.gz |
2015-05-09 13:43:00
Diffstat (limited to 'tex/context/base/lxml-tex.lua')
-rw-r--r-- | tex/context/base/lxml-tex.lua | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/tex/context/base/lxml-tex.lua b/tex/context/base/lxml-tex.lua index 9e540fe7c..550a06a18 100644 --- a/tex/context/base/lxml-tex.lua +++ b/tex/context/base/lxml-tex.lua @@ -1597,6 +1597,22 @@ function lxml.att(id,a,default) end end +function lxml.refatt(id,a) + local e = getid(id) + if e then + local at = e.at + if at then + local str = at[a] + if str and str ~= "" then + str = gsub(str,"^#+","") + if str ~= "" then + contextsprint(notcatcodes,str) + end + end + end + end +end + function lxml.name(id) -- or remapped name? -> lxml.info, combine local e = getid(id) if e then |