RESOLVED FIXED198803
Web Inspector: Settings: split the General panel into sub panels so it's less crowded 
https://bugs.webkit.org/show_bug.cgi?id=198803
Summary Web Inspector: Settings: split the General panel into sub panels so it's less...
Devin Rousso
Reported 2019-06-12 14:13:42 PDT
It's a bit odd to have all of the "* Logging" be next to settings related to "Element Selection". Now that we have "enough" settings, it makes some sense to split it into separate panels (e.g. Elements, Console, Sources, etc.).
Attachments
Patch (10.51 KB, patch)
2019-06-12 14:39 PDT, Devin Rousso 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Devin Rousso
Comment 1 2019-06-12 14:39:12 PDT
Created attachment 371986 [details] Patch
WebKit Commit Bot
Comment 2 2019-06-17 12:32:17 PDT
Comment on attachment 371986 [details] Patch Clearing flags on attachment: 371986 Committed r246510: <https://trac.webkit.org/changeset/246510>
WebKit Commit Bot
Comment 3 2019-06-17 12:32:19 PDT
All reviewed patches have been landed. Closing bug.
Radar WebKit Bug Importer
Comment 4 2019-06-17 12:33:14 PDT
<rdar://problem/51816245>
Note You need to log in before you can comment on or make changes to this bug.