RESOLVED FIXED187885
Web Inspector: Dark Mode: remove odd-looking top border 
https://bugs.webkit.org/show_bug.cgi?id=187885
Summary Web Inspector: Dark Mode: remove odd-looking top border
Nikita Vasilyev
Reported 2018-07-21 18:51:40 PDT
Created attachment 345528 [details] [Screenshot] Bug In both docked and undocked modes, the border at very top of Web Inspector looks odd and unnecessary. <rdar://problem/42419927>
Attachments
[Screenshot] Bug (118.24 KB, image/png)
2018-07-21 18:51 PDT, Nikita Vasilyev 		no flags
Details
Patch (1.25 KB, patch)
2018-07-21 18:56 PDT, Nikita Vasilyev 		no flags
DetailsFormatted DiffDiff
[Screenshot] With patch applied (138.59 KB, image/png)
2018-07-21 18:56 PDT, Nikita Vasilyev 		no flags
Details
View All Add attachment proposed patch, testcase, etc.
Nikita Vasilyev
Comment 1 2018-07-21 18:56:05 PDT
Created attachment 345529 [details] Patch
Nikita Vasilyev
Comment 2 2018-07-21 18:56:31 PDT
Created attachment 345530 [details] [Screenshot] With patch applied
Matt Baker
Comment 3 2018-07-22 17:14:16 PDT
Comment on attachment 345529 [details] Patch rs=me
WebKit Commit Bot
Comment 4 2018-07-22 17:40:33 PDT
Comment on attachment 345529 [details] Patch Clearing flags on attachment: 345529 Committed r234092: <https://trac.webkit.org/changeset/234092>
WebKit Commit Bot
Comment 5 2018-07-22 17:40:35 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.