Normalize spaces in headings titles (#437)

The titles of the headings could contain newlines and other non-significant spaces, as in "The\n AbstractWorker mixin". They are now normalized to a proper space, as in "The AbstractWorker mixin".
w3c · Nov 5, 2020 · f2552cf · f2552cf
1 parent 232fd8a
commit f2552cf
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/builds/browser.js b/builds/browser.js
@@ -3944,7 +3944,7 @@ for more information.`;
 
         mappingTable[node.id] = {
           id,
-          title: trimmedText.replace(reNumber, '').trim()
+          title: trimmedText.replace(reNumber, '').trim().replace(/\s+/g, ' ')
         };
 
         if (number) {

diff --git a/src/browserlib/map-ids-to-headings.js b/src/browserlib/map-ids-to-headings.js
@@ -61,7 +61,7 @@ export default function () {
 
       mappingTable[node.id] = {
         id,
-        title: trimmedText.replace(reNumber, '').trim()
+        title: trimmedText.replace(reNumber, '').trim().replace(/\s+/g, ' ')
       };
 
       if (number) {