diff options
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/pages/debugging-rulesets')
3 files changed, 0 insertions, 111 deletions
diff --git a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/index.html b/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/index.html deleted file mode 100644 index d3e9122..0000000 --- a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/index.html +++ /dev/null @@ -1,25 +0,0 @@ -<!doctype html> -<html> - <head> - <meta charset="utf-8"> - <title></title> - <link href="style.css" rel="stylesheet"> - <script src="/external/codemirror/codemirror-5.31.0.min.js"></script> - <link href="/external/codemirror/codemirror-5.31.0.min.css" rel="stylesheet"> - <script src="/external/codemirror/codemirror-5.31.0.xml.min.js"></script> - </head> - <body> - <div class="section-header"><span class="section-header-span">Debugging Rulesets</span></div> - <div class="section-explainer"> - Enter ruleset XML below and click save when ready. These rulesets will be immediately activated upon saving, and will persist across restarts.<br> - <i>Warning</i>: This should only be used for debugging rulesets. This feature is not guaranteed to work reliably for regular usage.<br> - <i>Note</i>: Due to a bug in Chromium, it may be necessary to close the options ui before saving. - </div> - <div id="unsaved-text">There are unsaved changes! Be sure to save them for them to take effect.</div> - <textarea id="codemirror-textarea"></textarea> - <button type="button" id="save-button">Save</button> - <div id="saved-text">Saved!</div> - <script src="../util.js"></script> - <script src="ux.js"></script> - </body> -</html> diff --git a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css b/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css deleted file mode 100644 index e424c70..0000000 --- a/data/extensions/https-everywhere@eff.org/pages/debugging-rulesets/style.css +++ /dev/null @@ -1,40 +0,0 @@ -.cm-s-main{ - width: 100%; - height: 500px; -} - -.cm-s-saved{ - border: 1px solid black; -} - -.cm-s-unsaved{ - border: 1px solid red; -} - -.section-explainer{ - margin-bottom: 5px; -} - -.section-header{ - margin-bottom: 10px; -} - -.section-header-span{ - border-bottom: 1px solid #ccc; - font-size: 15px; -} - -#saved-text{ - display: none; - color: green; - font-weight: bold; - margin: 30px; -} - -#unsaved-text{ - font-weight: bold; - margin: 10px 0px; - color: red; - visibility: hidden; - text-align: center; -} 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"; - }); -}); |