694
695
696
697
698
699
700
701
702
703
704
705
706
707
|
elseif sp.style == 'strike' or sp.style == 'insert' then
addStyle 'editors_markup'
elseif sp.style == 'variable' then
addStyle 'var'
end
return tag(tags[sp.style],nil,htmlSpan(sp.spans,...))
end
function span_renderers.deref(t,b,s)
local r = b.origin:ref(t.ref)
local name = t.ref
if name:find'%.' then name = name:match '^[^.]*%.(.+)$' end
if type(r) == 'string' then
addStyle 'abbr'
|
|
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
|
elseif sp.style == 'strike' or sp.style == 'insert' then
addStyle 'editors_markup'
elseif sp.style == 'variable' then
addStyle 'var'
end
return tag(tags[sp.style],nil,htmlSpan(sp.spans,...))
end
function span_renderers.codepoint(t,b,s)
-- is this a UTF8 output?
return utf8.char(t.code)
-- else
-- return string.format("&#%u;", code)
end
function span_renderers.deref(t,b,s)
local r = b.origin:ref(t.ref)
local name = t.ref
if name:find'%.' then name = name:match '^[^.]*%.(.+)$' end
if type(r) == 'string' then
addStyle 'abbr'
|