cortav  Diff

Differences From Artifact [28584fb71a]:

• File render/html.lua — part of check-in [ee086767f3] at 2022-09-10 17:28:05 on branch trunk — add remote fetch via curl, shim native bindings (user: lexi, size: 39490) [annotate] [blame] [check-ins using]

To Artifact [f4ce452531]:

• File render/html.lua — part of check-in [dd5c3bfcb9] at 2022-09-14 12:22:00 on branch trunk — various improvements (user: lexi, size: 39650) [annotate] [blame] [check-ins using]

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