j
k
j a
j l
I don't know what WriteChars() does, maybe it should escape as WriteString() does, maybe not. If it does escape, I'd rather change write_escaped_string() to accept explicit length then duplicating input.
Back to the thread
Back to the list