diff options
author | Ruben Rodriguez <ruben@gnu.org> | 2016-02-04 17:35:11 -0600 |
---|---|---|
committer | Ruben Rodriguez <ruben@gnu.org> | 2016-02-04 17:35:11 -0600 |
commit | 23c04f7d9249b29c84df3707429053fc53fb190d (patch) | |
tree | e5706a72d65a344d5c2be0866974c594eddca292 /data/extensions/https-everywhere-eff@eff.org/chrome/content/code/ApplicableList.js | |
parent | 501a13debeebf3244f33646ac3bad75f9a0e614d (diff) |
HTTPS-Everywhere updated to 5.1.3
Diffstat (limited to 'data/extensions/https-everywhere-eff@eff.org/chrome/content/code/ApplicableList.js')
-rw-r--r-- | data/extensions/https-everywhere-eff@eff.org/chrome/content/code/ApplicableList.js | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/data/extensions/https-everywhere-eff@eff.org/chrome/content/code/ApplicableList.js b/data/extensions/https-everywhere-eff@eff.org/chrome/content/code/ApplicableList.js index 11b9c42..55179ff 100644 --- a/data/extensions/https-everywhere-eff@eff.org/chrome/content/code/ApplicableList.js +++ b/data/extensions/https-everywhere-eff@eff.org/chrome/content/code/ApplicableList.js @@ -28,7 +28,7 @@ ApplicableList.prototype = { empty: function() { // Empty everything, used when toggles occur in order to ensure that if - // the reload fails, the resulting list is not eroneous + // the reload fails, the resulting list is not erroneous this.active = {}; this.breaking = {}; this.inactive = {}; @@ -73,7 +73,9 @@ ApplicableList.prototype = { populate_list: function() { // The base URI of the dom tends to be loaded from some /other/ // ApplicableList, so pretend we're loading it from here. - HTTPSEverywhere.instance.https_rules.rewrittenURI(this, this.uri); + HTTPSEverywhere.instance.https_rules.rewrittenURI(this, this.uri, function() { + // do nothing + }); this.log(DBUG, "populating using alist #" + this.serial); }, @@ -115,7 +117,7 @@ ApplicableList.prototype = { label.setAttribute('label', strings.getString('https-everywhere.menu.enableDisable')); label.setAttribute('disabled', 'true'); label.setAttribute('class', 'menuitem-non-iconic'); - label.setAttribute('style', 'color:#000000;'); + label.setAttribute('style', 'font-weight: bold; color: -moz-MenuBarText;'); var label2 = false; if (!any_rules) { label2 = document.createElement('menuitem'); |