Inline rule for backslash-at-end-of-line line breaks.
In Wikidot, a backslash at the end of a line (\ followed by newline)
creates a line break. The preprocessor converts this \\\n sequence
into a special BACKSLASH_BREAK token (U+E000).
This rule handles two token patterns:
WHITESPACE + BACKSLASH_BREAK: produces a line-break followed by a
space text element (Wikidot preserves the space after the break)
Standalone BACKSLASH_BREAK: produces only a line-break
A special case exists when the backslash break is followed by an
underscore line-break pattern ( _\n): in that case, the trailing
space is omitted to avoid doubled spacing.
All line-break elements produced by this rule are marked with
_preservedTrailingBreak = true so the paragraph postprocessor
does not strip them.
Inline rule for backslash-at-end-of-line line breaks.
In Wikidot, a backslash at the end of a line (
\followed by newline) creates a line break. The preprocessor converts this\\\nsequence into a specialBACKSLASH_BREAKtoken (U+E000).This rule handles two token patterns:
WHITESPACE + BACKSLASH_BREAK: produces a line-break followed by a space text element (Wikidot preserves the space after the break)BACKSLASH_BREAK: produces only a line-breakA special case exists when the backslash break is followed by an underscore line-break pattern (
_\n): in that case, the trailing space is omitted to avoid doubled spacing.All line-break elements produced by this rule are marked with
_preservedTrailingBreak = trueso the paragraph postprocessor does not strip them.