summaryrefslogtreecommitdiff
path: root/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js
diff options
context:
space:
mode:
authorClément Lassieur <clement@lassieur.org>2023-11-09 14:15:44 +0100
committerMark H Weaver <mhw@netris.org>2023-12-30 09:24:46 -0500
commitba0d2ab758143b9fe2ca14f6eed07d9a6a350c2b (patch)
tree0ecd8a30389110b49a8a1c1513332dbacfcb46f9 /data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/ux.js
parentf889514426e512e5602c71e1b411ae0332a33366 (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.js46
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";
- });
-});