diff options
author | Clément Lassieur <clement@lassieur.org> | 2023-11-09 14:15:44 +0100 |
---|---|---|
committer | Mark H Weaver <mhw@netris.org> | 2023-12-30 09:24:46 -0500 |
commit | ba0d2ab758143b9fe2ca14f6eed07d9a6a350c2b (patch) | |
tree | 0ecd8a30389110b49a8a1c1513332dbacfcb46f9 /data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js | |
parent | f889514426e512e5602c71e1b411ae0332a33366 (diff) |
Migrate from HTTPS-Everywhere to Icecat's own HTTPS-Only Mode.
See <https://www.eff.org/https-everywhere>.
Modified-By: Mark H Weaver <mhw@netris.org>.
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.js | 46 |
1 files changed, 0 insertions, 46 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 deleted file mode 100644 index 0df93d8..0000000 --- a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js +++ /dev/null @@ -1,46 +0,0 @@ -/* 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"; - }); -}); |