diff options
author | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-15 03:34:50 +0000 |
---|---|---|
committer | Daniel Baumann <daniel.baumann@progress-linux.org> | 2024-05-15 03:34:50 +0000 |
commit | def92d1b8e9d373e2f6f27c366d578d97d8960c6 (patch) | |
tree | 2ef34b9ad8bb9a9220e05d60352558b15f513894 /devtools/client/framework/toolbox-options.js | |
parent | Adding debian version 125.0.3-1. (diff) | |
download | firefox-def92d1b8e9d373e2f6f27c366d578d97d8960c6.tar.xz firefox-def92d1b8e9d373e2f6f27c366d578d97d8960c6.zip |
Merging upstream version 126.0.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'devtools/client/framework/toolbox-options.js')
-rw-r--r-- | devtools/client/framework/toolbox-options.js | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/devtools/client/framework/toolbox-options.js b/devtools/client/framework/toolbox-options.js index 98b263ad44..809804e2f1 100644 --- a/devtools/client/framework/toolbox-options.js +++ b/devtools/client/framework/toolbox-options.js @@ -106,6 +106,10 @@ OptionsPanel.prototype = { "devtools.source-map.client-service.enabled", this._prefChanged ); + Services.prefs.addObserver( + "devtools.toolbox.splitconsole.enabled", + this._prefChanged + ); gDevTools.on("theme-registered", this._themeRegistered); gDevTools.on("theme-unregistered", this._themeUnregistered); @@ -126,6 +130,10 @@ OptionsPanel.prototype = { "devtools.source-map.client-service.enabled", this._prefChanged ); + Services.prefs.removeObserver( + "devtools.toolbox.splitconsole.enabled", + this._prefChanged + ); this.toolbox.off("tool-registered", this.setupToolsList); this.toolbox.off("tool-unregistered", this.setupToolsList); @@ -145,6 +153,8 @@ OptionsPanel.prototype = { this.updateCurrentTheme(); } else if (prefName === "devtools.source-map.client-service.enabled") { this.updateSourceMapPref(); + } else if (prefName === "devtools.toolbox.splitconsole.enabled") { + this.toolbox.updateIsSplitConsoleEnabled(); } }, |