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

Devin Rousso
Reported 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.
Attachments
Patch (2.90 KB, patch)
2020-02-05 17:31 PST, Devin Rousso 		no flags
DetailsFormatted DiffDiff
[Image] After Patch is applied (1.26 MB, image/png)
2020-02-05 17:32 PST, Devin Rousso 		no flags
Details
View All Add attachment proposed patch, testcase, etc.
Devin Rousso
Comment 1 2020-02-05 17:31:10 PST
Created attachment 389910 [details] Patch
Devin Rousso
Comment 2 2020-02-05 17:32:31 PST
Created attachment 389912 [details] [Image] After Patch is applied
WebKit Commit Bot
Comment 3 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>
WebKit Commit Bot
Comment 4 2020-02-05 18:40:15 PST
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 5 2020-02-05 18:41:49 PST
<rdar://problem/59210925>
Jon Lee
Comment 6 2020-02-07 20:23:11 PST
Reopening. This was reverted by https://trac.webkit.org/changeset/256086/webkit in b207422.
Devin Rousso
Comment 7 2020-03-02 16:54:21 PST
This will be resolved by <https://webkit.org/b/207317>.
Note You need to log in before you can comment on or make changes to this bug.