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

Description Nikita Vasilyev 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>
Comment 1 Nikita Vasilyev 2018-07-21 18:56:05 PDT 
Created attachment 345529 [details]
Patch
Comment 2 Nikita Vasilyev 2018-07-21 18:56:31 PDT 
Created attachment 345530 [details]
[Screenshot] With patch applied
Comment 3 Matt Baker 2018-07-22 17:14:16 PDT 
Comment on attachment 345529 [details]
Patch

rs=me
Comment 4 WebKit Commit Bot 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>
Comment 5 WebKit Commit Bot 2018-07-22 17:40:35 PDT 
All reviewed patches have been landed.  Closing bug.