tor-browser

The Tor Browser
git clone https://git.dasho.dev/tor-browser.git
Log | Files | Refs | README | LICENSE

commit 98eababd98ed9ed750a9f691e6dfc470218996ce
parent f0c2b93a23455f346905af822d0131949e831a92
Author: agoloman <agoloman@mozilla.com>
Date:   Mon, 27 Oct 2025 20:18:14 +0200

Revert "Bug 1996193 - [devtools] Move Disable JS option footnote to a sub label. r=devtools-reviewers,fluent-reviewers,bomsy,bolsson." for causing bc failures @browser_should_restore_tab.js.

This reverts commit 0fe1c932ab840265d41f8c9efe53c9477c174f3f.

Diffstat:
Mdevtools/client/framework/toolbox-options.html | 11++++++-----
Mdevtools/client/framework/toolbox-options.js | 5+++++
Mdevtools/client/locales/en-US/toolbox-options.ftl | 6++----
3 files changed, 13 insertions(+), 9 deletions(-)

diff --git a/devtools/client/framework/toolbox-options.html b/devtools/client/framework/toolbox-options.html @@ -266,11 +266,7 @@ </label> <label data-l10n-id="options-disable-javascript-tooltip"> <input type="checkbox" id="devtools-disable-javascript" /> - <span data-l10n-id="options-disable-javascript-label-2"></span> - <span - class="option-secondary-label" - data-l10n-id="options-context-triggers-page-refresh-temporary" - ></span> + <span data-l10n-id="options-disable-javascript-label"></span> </label> <label data-l10n-id="options-enable-service-workers-http-tooltip"> <input @@ -297,6 +293,11 @@ <input type="checkbox" data-pref="devtools.f12_enabled" /> <span data-l10n-id="options-enable-f12-label"></span> </label> + <span + class="options-citation-label theme-comment" + id="triggers-page-refresh-label" + data-l10n-id="options-context-triggers-page-refresh" + ></span> </fieldset> </div> </form> diff --git a/devtools/client/framework/toolbox-options.js b/devtools/client/framework/toolbox-options.js @@ -554,6 +554,11 @@ class OptionsPanel extends EventEmitter { } else { // Hide the checkbox and label this.disableJSNode.parentNode.style.display = "none"; + + const triggersPageRefreshLabel = this.panelDoc.getElementById( + "triggers-page-refresh-label" + ); + triggersPageRefreshLabel.style.display = "none"; } } diff --git a/devtools/client/locales/en-US/toolbox-options.ftl b/devtools/client/locales/en-US/toolbox-options.ftl @@ -135,7 +135,7 @@ options-disable-http-cache-tooltip = .title = Turning this option on will disable the HTTP cache for all tabs that have the toolbox open. Service Workers are not affected by this option. # The label for checkbox that toggles JavaScript on or off -options-disable-javascript-label-2 = Disable JavaScript +options-disable-javascript-label = Disable JavaScript * options-disable-javascript-tooltip = .title = Turning this option on will disable JavaScript for the current tab. If the tab or the toolbox is closed then this setting will be forgotten. @@ -170,9 +170,7 @@ options-source-maps-tooltip = .title = If you enable this option sources will be mapped in the tools. # The message shown for settings that trigger page reload and will only apply to the current session -# This appears underneath the applicable options (e.g. options-disable-javascript-label-2). -options-context-triggers-page-refresh-temporary = (current session only, reloads the page) +options-context-triggers-page-refresh = * Current session only, reloads the page # The message shown for settings that trigger page reload -# This appears underneath the applicable options (e.g. options-show-user-agent-shadow-dom-label). options-context-triggers-page-refresh-persists = (reloads the page)