We currently don't preserve whitespace after the beginning of the line, which is the cause of the problem here.
We probably should be replacing runs of whitespace (both leading whitespace and embedded whitespace) with the pattern " ... " such that the run ends with a normal whitespace (so that if the line gets wrapped, we don't have a space at the beginning of the next line).
We currently don't preserve whitespace after the beginning of the line, which is the cause of the problem here.
We probably should be replacing runs of whitespace (both leading whitespace and embedded whitespace) with the pattern " ... " such that the run ends with a normal whitespace (so that if the line gets wrapped, we don't have a space at the beginning of the next line).