diff options
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"> |