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.html | |
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.html')
-rw-r--r-- | devtools/client/framework/toolbox-options.html | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/devtools/client/framework/toolbox-options.html b/devtools/client/framework/toolbox-options.html index 2ff33a581f..08c63265f0 100644 --- a/devtools/client/framework/toolbox-options.html +++ b/devtools/client/framework/toolbox-options.html @@ -126,6 +126,18 @@ </label> </fieldset> + <fieldset id="webconsole-options" class="options-groupbox"> + <legend data-l10n-id="options-webconsole-label"></legend> + <label data-l10n-id="options-webconsole-split-console-tooltip"> + <input + type="checkbox" + id="devtools-enable-split-console" + data-pref="devtools.toolbox.splitconsole.enabled" + /> + <span data-l10n-id="options-webconsole-split-console-label"></span> + </label> + </fieldset> + <fieldset id="styleeditor-options" class="options-groupbox"> <legend data-l10n-id="options-styleeditor-label"></legend> <label data-l10n-id="options-stylesheet-autocompletion-tooltip"> |