Bug 187885 - Web Inspector: Dark Mode: remove odd-looking top border
Summary: Web Inspector: Dark Mode: remove odd-looking top border
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: Web Inspector (show other bugs)
Version: WebKit Nightly Build
Hardware: All All
: P2 Normal
Assignee: Nikita Vasilyev
URL:
Keywords: InRadar
Depends on:
Blocks:
 
Reported: 2018-07-21 18:51 PDT by Nikita Vasilyev
Modified: 2018-07-22 17:40 PDT (History)
4 users (show)

See Also:


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 Details | Formatted Diff | Diff
[Screenshot] With patch applied (138.59 KB, image/png)
2018-07-21 18:56 PDT, Nikita Vasilyev
no flags Details

Note You need to log in before you can comment on or make changes to this bug.
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.