diff options
Diffstat (limited to 'data/extensions/https-everywhere@eff.org/pages/options')
-rw-r--r-- | data/extensions/https-everywhere@eff.org/pages/options/index.html | 4 | ||||
-rw-r--r-- | data/extensions/https-everywhere@eff.org/pages/options/ux.js | 37 |
2 files changed, 15 insertions, 26 deletions
diff --git a/data/extensions/https-everywhere@eff.org/pages/options/index.html b/data/extensions/https-everywhere@eff.org/pages/options/index.html index f351d17..078f5ea 100644 --- a/data/extensions/https-everywhere@eff.org/pages/options/index.html +++ b/data/extensions/https-everywhere@eff.org/pages/options/index.html @@ -11,10 +11,6 @@ <span class="section-header-span inactive" data-show="update-channels-wrapper" data-i18n="options_updateChannels"></span> <div class="section-wrapper" id="general-settings-wrapper"> - <div id="counter-wrapper" class="settings-wrapper"> - <input type="checkbox" id="showCounter"> - <label for="showCounter" data-i18n="menu_showCounter"></label> - </div> <div id="update-wrapper" class="settings-wrapper"> <input type="checkbox" id="autoUpdateRulesets"> <label for="autoUpdateRulesets" data-i18n="options_autoUpdateRulesets"></label> diff --git a/data/extensions/https-everywhere@eff.org/pages/options/ux.js b/data/extensions/https-everywhere@eff.org/pages/options/ux.js index deaacd9..97c5673 100644 --- a/data/extensions/https-everywhere@eff.org/pages/options/ux.js +++ b/data/extensions/https-everywhere@eff.org/pages/options/ux.js @@ -7,28 +7,21 @@ document.addEventListener("DOMContentLoaded", () => { - const showCounter = document.getElementById("showCounter"); const autoUpdateRulesets = document.getElementById("autoUpdateRulesets"); const enableMixedRulesets = document.getElementById("enableMixedRulesets"); const showDevtoolsTab = document.getElementById("showDevtoolsTab"); const defaultOptions = { - showCounter: true, autoUpdateRulesets: false, enableMixedRulesets: false, showDevtoolsTab: true }; sendMessage("get_option", defaultOptions, item => { - showCounter.checked = item.showCounter; autoUpdateRulesets.checked = item.autoUpdateRulesets; enableMixedRulesets.checked = item.enableMixedRulesets; showDevtoolsTab.checked = item.showDevtoolsTab; - showCounter.addEventListener("change", () => { - sendMessage("set_option", { showCounter: showCounter.checked }); - }); - autoUpdateRulesets.addEventListener("change", () => { sendMessage("set_option", { autoUpdateRulesets: autoUpdateRulesets.checked }); }); @@ -42,7 +35,7 @@ document.addEventListener("DOMContentLoaded", () => { }); }); - function onlyShowSection(sectionId){ + function onlyShowSection(sectionId) { document.querySelectorAll('.section-wrapper').forEach(sw => { sw.style.display = "none"; }); @@ -62,10 +55,10 @@ document.addEventListener("DOMContentLoaded", () => { }); }); - function create_update_channel_element(update_channel, last_updated, pinned){ + function create_update_channel_element(update_channel, last_updated, pinned) { let ruleset_version_string; - if(last_updated){ + if(last_updated) { const ruleset_date = new Date(last_updated * 1000); ruleset_version_string = ruleset_date.getUTCFullYear() + "." + (ruleset_date.getUTCMonth() + 1) + "." + ruleset_date.getUTCDate(); } else { @@ -188,14 +181,14 @@ document.addEventListener("DOMContentLoaded", () => { return update_channel_div; } - function render_update_channels(){ + function render_update_channels() { const update_channels_list = document.getElementById("update-channels-list"); - while(update_channels_list.firstChild){ + while(update_channels_list.firstChild) { update_channels_list.removeChild(update_channels_list.firstChild); } sendMessage("get_pinned_update_channels", null, item => { - for(const update_channel of item.update_channels){ + for(const update_channel of item.update_channels) { update_channels_list.appendChild( create_update_channel_element( update_channel, @@ -208,7 +201,7 @@ document.addEventListener("DOMContentLoaded", () => { }); sendMessage("get_stored_update_channels", null, item => { - for(const update_channel of item.update_channels){ + for(const update_channel of item.update_channels) { update_channels_list.appendChild( create_update_channel_element( update_channel, @@ -227,7 +220,7 @@ document.addEventListener("DOMContentLoaded", () => { const update_channels_error = document.getElementById("update-channels-error"); update_channel_name_div.setAttribute("placeholder", chrome.i18n.getMessage("options_enterUpdateChannelName")); - function displayError(text){ + function displayError(text) { update_channels_error_text.innerText = text; update_channels_error.style.display = "block"; window.scrollTo(0,0); @@ -244,7 +237,7 @@ document.addEventListener("DOMContentLoaded", () => { // img element "remove button" let templateRemove = document.createElement("img"); - templateRemove.src = chrome.extension.getURL("images/remove.png"); + templateRemove.src = chrome.runtime.getURL("images/remove.png"); templateRemove.className = "remove"; for (const userRule of userRules) { @@ -272,16 +265,16 @@ document.addEventListener("DOMContentLoaded", () => { getOption_("disabledList", [], function(item) { let rule_host_parent = e("disabled-rules-wrapper"); - if( 0 === item.disabledList.length ){ + if( 0 === item.disabledList.length ) { hide(rule_host_parent); return; } // img element "remove button" let templateRemove = document.createElement("img"); - templateRemove.src = chrome.extension.getURL("images/remove.png"); + templateRemove.src = chrome.runtime.getURL("images/remove.png"); templateRemove.className = "remove"; - if( item ){ + if( item ) { for (const key of item.disabledList) { let rule_host = document.createElement("div"); let remove = templateRemove.cloneNode(true); @@ -304,12 +297,12 @@ document.addEventListener("DOMContentLoaded", () => { add_update_channel.addEventListener("click", () => { const update_channel_name = update_channel_name_div.value; - if(update_channel_name.trim() == ""){ + if(update_channel_name.trim() == "") { displayError("Error: The update channel name is blank. Please enter another name."); } else { update_channel_name_div.value = ""; sendMessage("create_update_channel", update_channel_name, result => { - if(result == true){ + if(result == true) { render_update_channels(); } else { displayError("Error: There already exists an update channel with this name."); @@ -326,7 +319,7 @@ document.addEventListener("DOMContentLoaded", () => { const update_channels_last_checked = document.getElementById("update-channels-last-checked"); sendMessage("get_last_checked", null, last_checked => { let last_checked_string; - if(last_checked){ + if(last_checked) { const last_checked_date = new Date(last_checked * 1000); const options = { year: '2-digit', |