diff options
Diffstat (limited to 'devtools/client/definitions.js')
| -rw-r--r-- | devtools/client/definitions.js | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/devtools/client/definitions.js b/devtools/client/definitions.js index 70a7906160..e12c1c8dcc 100644 --- a/devtools/client/definitions.js +++ b/devtools/client/definitions.js @@ -161,7 +161,11 @@ Tools.inspector = { // that trigger the element picker. preventRaisingOnKey: true, onkey(panel, toolbox) { - toolbox.nodePicker.togglePicker(); + if ( + Services.prefs.getBoolPref("devtools.command-button-pick.enabled", false) + ) { + toolbox.nodePicker.togglePicker(); + } }, isToolSupported(toolbox) { |