| commit | 1c278ebe57eb25424732d2c5db2b186c48dde42d | |
| author | Gabriel Luong <gabriel.luong@gmail.com> | |
| Tue, 16 Feb 2021 22:37:22 +0000 (16 22:37 +0000) | ||
| committer | Gabriel Luong <gabriel.luong@gmail.com> | |
| Tue, 16 Feb 2021 22:37:22 +0000 (16 22:37 +0000) | ||
| tree | ed613d742120241d2e8b50a18e272de8fb8d8612 | treesnapshot (tar.gz zip) |
| parent | 0dc5ddff34849a474eac2a668f57e82ead3f29b7 | commitdiff |
Bug 1690340 - Part 1: Hide all the panel tools in the developer tools menu. r=jdescottes
For now, we hide all the individual panel tools from the developer tools menu.
We will want to evaluate whether or not to remove all the logic for adding all
the tools to the menu in the future if we see a permanent need for no longer
having it.
See https://searchfox.org/mozilla-central/rev/d3343662ce0aced933b30e053b33c93f759292eb/devtools/client/framework/browser-menus.js#197
Differential Revision: https://phabricator.services.mozilla.com/D104868
For now, we hide all the individual panel tools from the developer tools menu.
We will want to evaluate whether or not to remove all the logic for adding all
the tools to the menu in the future if we see a permanent need for no longer
having it.
See https://searchfox.org/mozilla-central/rev/d3343662ce0aced933b30e053b33c93f759292eb/devtools/client/framework/browser-menus.js#197
Differential Revision: https://phabricator.services.mozilla.com/D104868