summaryrefslogtreecommitdiff
path: root/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js
diff options
context:
space:
mode:
authorRuben Rodriguez <ruben@gnu.org>2019-05-10 19:05:20 -0400
committerRuben Rodriguez <ruben@gnu.org>2019-05-10 19:05:20 -0400
commit7859a9131fcda359265dc16ef55933e5ed218119 (patch)
treeecb4bf7a0fd005a637d3ff0444ce9afaa8817ba9 /data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js
parentcb4bbb16a12d495eca1ac05ebacc7557e9b05c05 (diff)
Updated extensions bundle
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js')
-rw-r--r--data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js4
1 files changed, 3 insertions, 1 deletions
diff --git a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js b/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js
index be6c8b5..49b9c7e 100644
--- a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js
+++ b/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js
@@ -34,7 +34,9 @@ document.getElementById("save-button").addEventListener("click", e => {
e.preventDefault();
sendMessage("set_option", { debugging_rulesets: cm.getValue() }, () => {
savedTextElement.style.display = "block";
- setTimeout(() => { savedTextElement.style.display = "none" }, 1000);
+ setTimeout(() => {
+ savedTextElement.style.display = "none"
+ }, 1000);
valueHasChanged = false;
document.title = savedTitle;