commit 0fe1c932ab840265d41f8c9efe53c9477c174f3f
parent dbedf9869d5c9eb7822a9c33cb1255b9e9c5e648
Author: Nicolas Chevobbe <nchevobbe@mozilla.com>
Date: Mon, 27 Oct 2025 13:45:47 +0000
Bug 1996193 - [devtools] Move Disable JS option footnote to a sub label. r=devtools-reviewers,fluent-reviewers,bomsy,bolsson.
Differential Revision: https://phabricator.services.mozilla.com/D269942
Diffstat:
3 files changed, 9 insertions(+), 13 deletions(-)
diff --git a/devtools/client/framework/toolbox-options.html b/devtools/client/framework/toolbox-options.html
@@ -266,7 +266,11 @@
</label>
<label data-l10n-id="options-disable-javascript-tooltip">
<input type="checkbox" id="devtools-disable-javascript" />
- <span data-l10n-id="options-disable-javascript-label"></span>
+ <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>
</label>
<label data-l10n-id="options-enable-service-workers-http-tooltip">
<input
@@ -293,11 +297,6 @@
<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,11 +554,6 @@ 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 = Disable JavaScript *
+options-disable-javascript-label-2 = 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,7 +170,9 @@ 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
-options-context-triggers-page-refresh = * Current session only, reloads the page
+# 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)
# 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)
