[webkit-reviews] review denied: [Bug 80267] Web Inspector: Gear icon in the bottom right corner should open a menu with Settings and Shortcuts items. : [Attachment 130096] Patch

[bugzilla-daemon at webkit.org]

Pavel Feldman <pfeldman at chromium.org> has denied Vsevolod Vlasov
<vsevik at chromium.org>'s request for review:
Bug 80267: Web Inspector: Gear icon in the bottom right corner should open a
menu with Settings and Shortcuts items.
https://bugs.webkit.org/show_bug.cgi?id=80267

Attachment 130096: Patch
https://bugs.webkit.org/attachment.cgi?id=130096&action=review

------- Additional Comments from Pavel Feldman <pfeldman at chromium.org>
Given that it makes Settings two clicks away and introduces no clear benefit, I
think we can wait with it.