From fa5c0b073214191e6996ba0b5bc8e61560ff822c Mon Sep 17 00:00:00 2001 From: Mark H Weaver Date: Wed, 27 Sep 2023 00:53:30 -0400 Subject: Update the JShelter extension to 0.15.2. --- data/extensions/jsr@javascriptrestrictor/tweaks_gui.js | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'data/extensions/jsr@javascriptrestrictor/tweaks_gui.js') diff --git a/data/extensions/jsr@javascriptrestrictor/tweaks_gui.js b/data/extensions/jsr@javascriptrestrictor/tweaks_gui.js index 7f26dbc..99aaa21 100644 --- a/data/extensions/jsr@javascriptrestrictor/tweaks_gui.js +++ b/data/extensions/jsr@javascriptrestrictor/tweaks_gui.js @@ -78,7 +78,7 @@ let tweaks_gui = { showStatus(group.params[desired_tweak - 1]); } else { - showStatus({short:"Unprotected", description:"Unprotected"}); + showStatus({short:browser.i18n.getMessage("jssgroupUnprotected"), description:browser.i18n.getMessage("jssgroupUnprotected")}); } } if (changed) { @@ -88,6 +88,9 @@ let tweaks_gui = { updateLevelInfo(); tlevUI.addEventListener("input", updateLevelInfo.bind(this, false)); tlevUI.addEventListener("change", updateLevelInfo.bind(this, true)); + tlevUI.addEventListener("input", function() { // See https://pagure.io/JShelter/webextension/issue/95 + explainer.classList.remove("hidden_descr"); + }); help.addEventListener("click", function(ev) { explainer.classList.toggle("hidden_descr"); @@ -103,7 +106,7 @@ let tweaks_gui = { let tweakEntries = this.sort_group_descriptors(this.create_group_descriptors(group_map)); for (let { group_id, tlev_id, label, group} of tweakEntries) { - this.add_tweak_row(tweaksContainer, group_map, group_id, tlev_id, label, group); + this.add_tweak_row(tweaksContainer, group_map, group_id, tlev_id, label, group, group_id === "wasm"); } document.body.classList.add("tweaking"); }, -- cgit v1.2.3