Bug 207317

Summary: Web Inspector: increase the height of the tab bar to match other navigation bars
Product: WebKit Reporter: Devin Rousso <hi>
Component: Web InspectorAssignee: Devin Rousso <hi>
Status: RESOLVED MOVED    
Severity: Normal CC: commit-queue, hi, inspector-bugzilla-changes, jonlee, timothy, webkit-bug-importer
Priority: P2 Keywords: InRadar
Version: WebKit Local Build   
Hardware: All   
OS: All   
See Also: https://bugs.webkit.org/show_bug.cgi?id=207422
Attachments:
Description Flags
Patch
none
[Image] After Patch is applied none

Description Devin Rousso 2020-02-05 17:30:43 PST 
Right now, the tab bar is smaller than navigation bars.  We should increase the height so the contents have more room to breathe.
Comment 1 Devin Rousso 2020-02-05 17:31:10 PST 
Created attachment 389910 [details]
Patch
Comment 2 Devin Rousso 2020-02-05 17:32:31 PST 
Created attachment 389912 [details]
[Image] After Patch is applied
Comment 3 WebKit Commit Bot 2020-02-05 18:40:13 PST 
Comment on attachment 389910 [details]
Patch

Clearing flags on attachment: 389910

Committed r255890: <https://trac.webkit.org/changeset/255890>
Comment 4 WebKit Commit Bot 2020-02-05 18:40:15 PST 
All reviewed patches have been landed.  Closing bug.
Comment 5 Radar WebKit Bug Importer 2020-02-05 18:41:49 PST 
<rdar://problem/59210925>
Comment 6 Jon Lee 2020-02-07 20:23:11 PST 
Reopening. This was reverted by https://trac.webkit.org/changeset/256086/webkit in b207422.
Comment 7 Devin Rousso 2020-03-02 16:54:21 PST 
This will be resolved by <https://webkit.org/b/207317>.