markdown :: Decorator :: append_code
# Render code text from buffer and escape it. fun append_code(v: PROCESSOR, buffer: Text, from, to: Int) is abstract
redef fun append_code(v, buffer, from, to) do for i in [from..to[ do v.addc buffer[i] end end
redef fun append_code(v, buffer, from, to) do for i in [from..to[ do var c = buffer[i] if c == '&' then v.add "&" else if c == '<' then v.add "<" else if c == '>' then v.add ">" else v.addc c end end end
redef fun append_code(v, buffer, from, to) do for i in [from..to[ do var c = buffer[i] if c == '-' or c == ' ' then v.addc '\\' end v.addc c end end