Advertisement
Guest User

Untitled

a guest
Jan 21st, 2021
35
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
Diff 2.31 KB | None | 0 0
  1. diff --git a/Source/WebInspectorUI/UserInterface/Views/DOMTreeElement.js b/Source/WebInspectorUI/UserInterface/Views/DOMTreeElement.js
  2. index 6797d81699..e036b0b7b3 100644
  3. --- a/Source/WebInspectorUI/UserInterface/Views/DOMTreeElement.js
  4. +++ b/Source/WebInspectorUI/UserInterface/Views/DOMTreeElement.js
  5. @@ -1524,7 +1524,7 @@ WI.DOMTreeElement = class DOMTreeElement extends WI.TreeElement
  6.                      else if (nodeNameLowerCase === "style")
  7.                          textNodeElement.appendChild(WI.syntaxHighlightStringAsDocumentFragment(textChild.nodeValue().trim(), "text/css"));
  8.                      else
  9. -                        textNodeElement.textContent = textChild.nodeValue();
  10. +                        textNodeElement.textContent = this._convertWhitespaceToEntities(textChild.nodeValue());
  11.  
  12.                      info.titleDOM.append("\u200B");
  13.  
  14. @@ -1592,6 +1592,46 @@ WI.DOMTreeElement = class DOMTreeElement extends WI.TreeElement
  15.          return info;
  16.      }
  17.  
  18. +    MappedCharToEntity = {
  19. +        '\xA0': 'nbsp',
  20. +        '\x93': '#147',  // <control>
  21. +        '\xAD': 'shy',
  22. +        '\u2002': 'ensp',
  23. +        '\u2003': 'emsp',
  24. +        '\u2009': 'thinsp',
  25. +        '\u200a': '#8202',  // Hairspace
  26. +        '\u200b': '#8203',  // ZWSP
  27. +        '\u200c': 'zwnj',
  28. +        '\u200d': 'zwj',
  29. +        '\u200e': 'lrm',
  30. +        '\u200f': 'rlm',
  31. +        '\u202a': '#8234',  // LRE
  32. +        '\u202b': '#8235',  // RLE
  33. +        '\u202c': '#8236',  // PDF
  34. +        '\u202d': '#8237',  // LRO
  35. +        '\u202e': '#8238',  // RLO
  36. +        '\ufeff': '#65279'  // BOM
  37. +    }
  38. +
  39. +    _convertWhitespaceToEntities(text)
  40. +    {
  41. +        var result = "";
  42. +        var lastIndexAfterEntity = 0;
  43. +        var charToEntity = this.MappedCharToEntity;
  44. +        for (var i = 0, size = text.length; i < size; ++i) {
  45. +            var char = text.charAt(i);
  46. +            if (charToEntity[char]) {
  47. +                result += text.substring(lastIndexAfterEntity, i) + "&" + charToEntity[char] + ";";
  48. +                lastIndexAfterEntity = i + 1;
  49. +            }
  50. +        }
  51. +        if (result) {
  52. +            result += text.substring(lastIndexAfterEntity);
  53. +            return result;
  54. +        }
  55. +        return text;
  56. +    }
  57. +
  58.      _singleTextChild(node)
  59.      {
  60.          if (!node || this._ignoreSingleTextChild)
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement