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>
Created attachment 345529 [details] Patch
Created attachment 345530 [details] [Screenshot] With patch applied
Comment on attachment 345529 [details] Patch rs=me
Comment on attachment 345529 [details] Patch Clearing flags on attachment: 345529 Committed r234092: <https://trac.webkit.org/changeset/234092>
All reviewed patches have been landed. Closing bug.