diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 01:13:33 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-04-19 01:13:33 +0000 |
commit | 086c044dc34dfc0f74fbe41f4ecb402b2cd34884 (patch) | |
tree | a4f824bd33cb075dd5aa3eb5a0a94af221bbe83a /devtools/client/definitions.js | |
parent | Adding debian version 124.0.1-1. (diff) | |
download | firefox-086c044dc34dfc0f74fbe41f4ecb402b2cd34884.tar.xz firefox-086c044dc34dfc0f74fbe41f4ecb402b2cd34884.zip |
Merging upstream version 125.0.1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
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) { |