diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2018-02-25 20:04:31 -0500 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2018-02-25 20:04:31 -0500 |
commit | 229240370f009a7ba1dc31f57bcfcbd2cf785d0a (patch) | |
tree | defa51219f44d19451bbcfd1e8298eadb1e3f4b7 /data/extensions/https-everywhere@eff.org/debugging-rulesets.js | |
parent | f2a3be07039056c76e3ca4e6040ec900ba64f376 (diff) |
Updated extensions
- HTTPS Everywhere updated to 2018.1.11
- "goteo.org payments with free JS" updated to 1.1
- "LibreJS compatible Pay.gov" updated to 1.3
- "Reveal hidden HTML" updated to 1.6
- Enabled WebRTC, but prevent leaking the LAN ip.
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/debugging-rulesets.js')
-rw-r--r-- | data/extensions/https-everywhere@eff.org/debugging-rulesets.js | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/data/extensions/https-everywhere@eff.org/debugging-rulesets.js b/data/extensions/https-everywhere@eff.org/debugging-rulesets.js new file mode 100644 index 0000000..be6c8b5 --- /dev/null +++ b/data/extensions/https-everywhere@eff.org/debugging-rulesets.js @@ -0,0 +1,44 @@ +/* global sendMessage, CodeMirror */ + +"use strict"; + +const savedTextElement = document.getElementById("saved-text"); +const unsavedTextElement = document.getElementById("unsaved-text"); +const savedTitle = "Debugging Rulesets"; +const unsavedTitle = "* Debugging Rulesets"; + +document.title = savedTitle; + +const cm = CodeMirror.fromTextArea( + document.getElementById("codemirror-textarea"), + { + mode: "xml", + theme: "default main saved" + } +); + +let valueHasChanged = false; +sendMessage("get_option", { debugging_rulesets: "" }, item => { + cm.setValue(item.debugging_rulesets); + cm.on("change", cm => { + if (!(valueHasChanged)) { + valueHasChanged = true; + document.title = unsavedTitle; + cm.setOption("theme", "default main unsaved"); + unsavedTextElement.style.visibility = "visible"; + } + }); +}); + +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); + + valueHasChanged = false; + document.title = savedTitle; + cm.setOption("theme", "default main saved"); + unsavedTextElement.style.visibility = "hidden"; + }); +}); |