Correctly display whitespace characters in search error

GuillaumeGomez · GuillaumeGomez · commit 4f0a9124bdfb · 2023-06-14T14:22:17.000+02:00
diff --git a/src/librustdoc/html/static/js/search.js b/src/librustdoc/html/static/js/search.js
@@ -2192,7 +2192,7 @@ function initSearch(rawSearchIndex) {
             error.forEach((value, index) => {
                 value = value.split("<").join("&lt;").split(">").join("&gt;");
                 if (index % 2 !== 0) {
-                    error[index] = `<code>${value}</code>`;
+                    error[index] = `<code>${value.replaceAll(" ", "&nbsp;")}</code>`;
                 } else {
                     error[index] = value;
                 }

Original file line number	Diff line number	Diff line change
`@@ -2192,7 +2192,7 @@ function initSearch(rawSearchIndex) {`
`2192`	`2192`	`error.forEach((value, index) => {`
`2193`	`2193`	`value = value.split("<").join("<").split(">").join(">");`
`2194`	`2194`	`if (index % 2 !== 0) {`
`2195`		- error[index] = `<code>${value}</code>`;
	`2195`	+ error[index] = `<code>${value.replaceAll(" ", " ")}</code>`;
`2196`	`2196`	`} else {`
`2197`	`2197`	`error[index] = value;`
`2198`	`2198`	`}`