Escape the same characters in the highlighter

A lexer may hand back the bytes of one separator, or the CR and LF of a
line ending, in different tokens, so line endings become line feeds
before lexing and the separators are escaped once the tokens are joined.

1 file changed, 8 insertions, 0 deletions

diff --git a/MANUAL.txt b/MANUAL.txtindex 8060528..59e4b04 100644--- a/MANUAL.txt+++ b/MANUAL.txt@@ -861,6 +861,14 @@ source filter:: 	be filtered is available on standard input and the filtered contents is 	expected on standard output. +	The line numbers beside the output are counted from the line feeds of+	the input, so the output has to break lines exactly where those fall.+	A browser also starts a line at a carriage return with no line feed+	after it, and may at a vertical tab, a form feed, or the Unicode next+	line, line separator and paragraph separator, which is why cgit and+	syntax-highlight.lua show each of those as an escape sequence in+	span.escape.+ trailer filter:: 	This filter is given two parameters, the key of the trailer being 	formatted, such as "Fixes", and a string indicating the originating
diff --git a/MANUAL.txt b/MANUAL.txt
index 8060528..59e4b04 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -861,6 +861,14 @@ source filter::
 	be filtered is available on standard input and the filtered contents is
 	expected on standard output.
 
+	The line numbers beside the output are counted from the line feeds of
+	the input, so the output has to break lines exactly where those fall.
+	A browser also starts a line at a carriage return with no line feed
+	after it, and may at a vertical tab, a form feed, or the Unicode next
+	line, line separator and paragraph separator, which is why cgit and
+	syntax-highlight.lua show each of those as an escape sequence in
+	span.escape.
+
 trailer filter::
 	This filter is given two parameters, the key of the trailer being
 	formatted, such as "Fixes", and a string indicating the originating