Bug 187885

Summary: Web Inspector: Dark Mode: remove odd-looking top border
Product: WebKit Reporter: Nikita Vasilyev <nvasilyev>
Component: Web InspectorAssignee: Nikita Vasilyev <nvasilyev>
Status: RESOLVED FIXED    
Severity: Normal CC: commit-queue, inspector-bugzilla-changes, mattbaker, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: WebKit Nightly Build   
Hardware: All   
OS: All   
Attachments:
Description Flags
[Screenshot] Bug
none
Patch
none
[Screenshot] With patch applied none

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.