markdown :: Decorator :: add_span_code
	# Render a code span reading from a buffer.
	fun add_span_code(v: PROCESSOR, buffer: Text, from, to: Int) is abstract
					lib/markdown/markdown.nit:693,2--694,73
				
	redef fun add_span_code(v, text, from, to) do
		v.add "`"
		append_code(v, text, from, to)
		v.add "`"
	end
					lib/markdown/decorators.nit:139,2--143,4
				
	redef fun add_span_code(v, text, from, to) do
		v.add "<code>"
		append_code(v, text, from, to)
		v.add "</code>"
	end
					lib/markdown/markdown.nit:848,2--852,4
				
	redef fun add_span_code(v, text, from, to) do
		v.add "\\f[C]"
		append_code(v, text, from, to)
		v.add "\\f[]"
	end
					lib/markdown/man.nit:144,2--148,4