RESOLVED FIXED 190528
Web Inspector: sequences of spaces longer than 16 don't show a dot
https://bugs.webkit.org/show_bug.cgi?id=190528
Summary Web Inspector: sequences of spaces longer than 16 don't show a dot
Devin Rousso
Reported 2018-10-12 10:55:33 PDT
Created attachment 352181 [details] [Image] Screenshot of Issue We should probably programmatically generate the CSS space rules instead of manually writing 16 of them.
Attachments
[Image] Screenshot of Issue (85.41 KB, image/png)
2018-10-12 10:55 PDT, Devin Rousso
no flags
Patch (6.79 KB, patch)
2018-10-12 17:26 PDT, Devin Rousso
no flags
Patch (6.86 KB, patch)
2018-10-16 09:25 PDT, Devin Rousso
no flags
Devin Rousso
Comment 1 2018-10-12 17:26:35 PDT
Matt Baker
Comment 2 2018-10-15 09:59:42 PDT
Comment on attachment 352245 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=352245&action=review r=me, nice cleanup! > Source/WebInspectorUI/UserInterface/Views/CodeMirrorAdditions.js:369 > + styleText += `content: "${"\\00B7".repeat(count)}";`; Nit: I think '\\00B7' would make this a little easier to read, since the "outer" double-quotes are part of the string, and the "inner" double-quotes are part of the expression.
Joseph Pecoraro
Comment 3 2018-10-15 13:40:56 PDT
Comment on attachment 352245 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=352245&action=review > Source/WebInspectorUI/UserInterface/Views/CodeMirrorAdditions.js:372 > + whitespaceStyleElement.textContent = styleText; Hmm, this looks like the browser would have to reparse the entire stylesheet every time a new value is added, which seems wasteful. Maybe just creating a new element might be more efficient. Or maybe this is just negligible.
Devin Rousso
Comment 4 2018-10-16 09:19:47 PDT
Comment on attachment 352245 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=352245&action=review >> Source/WebInspectorUI/UserInterface/Views/CodeMirrorAdditions.js:372 >> + whitespaceStyleElement.textContent = styleText; > > Hmm, this looks like the browser would have to reparse the entire stylesheet every time a new value is added, which seems wasteful. Maybe just creating a new element might be more efficient. Or maybe this is just negligible. This only happens each time we encounter a new number of sequential spaces. In my experience, I haven't seen more than 32 in a row before. I don't think this is something we need to worry about.
Devin Rousso
Comment 5 2018-10-16 09:25:06 PDT
WebKit Commit Bot
Comment 6 2018-10-16 09:47:15 PDT
Comment on attachment 352460 [details] Patch Clearing flags on attachment: 352460 Committed r237186: <https://trac.webkit.org/changeset/237186>
WebKit Commit Bot
Comment 7 2018-10-16 09:47:16 PDT
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 8 2018-10-16 09:48:30 PDT
Note You need to log in before you can comment on or make changes to this bug.