Closed eddyb closed 4 years ago
The <pre> element not only uses a monospace font, but also renders spaces without collapsing them, including \n (so we don't need to replace that with <br>).
<pre>
\n
<br>
With collapsed spaces (i.e. before this PR), this kind of error message:
2020-02-04T10:52:01.6262311Z 518 | /// + true + [First] + 2020-02-04T10:52:01.6263036Z | ^^^^^ cannot be resolved, ignoring
looked like this (IMO much less useful):
The
<pre>
element not only uses a monospace font, but also renders spaces without collapsing them, including\n
(so we don't need to replace that with<br>
).With collapsed spaces (i.e. before this PR), this kind of error message:
looked like this (IMO much less useful):