| Index: lib/main.js |
| =================================================================== |
| --- a/lib/main.js |
| +++ b/lib/main.js |
| @@ -15,13 +15,7 @@ |
| Prefs.migrate("extensions.adblockplus.ehh.showhelp", "showhelp"); |
| // Window types to attach to |
| -let knownWindowTypes = |
| -{ |
| - "navigator:browser": true, |
| - "mail:3pane": true, |
| - "mail:messageWindow": true, |
| - __proto__: null |
| -}; |
| +let knownWindowTypes = new Set(["navigator:browser", "mail:3pane", "mail:messageWindow"]); |
| // Use random marker class |
| let elementMarkerClass = null; |
| @@ -48,7 +42,7 @@ |
| let styleService = Cc["@mozilla.org/content/style-sheet-service;1"].getService(Ci.nsIStyleSheetService); |
| let styleURI = Services.io.newURI("data:text/css," + encodeURIComponent(data), null, null); |
| styleService.loadAndRegisterSheet(styleURI, Ci.nsIStyleSheetService.USER_SHEET); |
| - onShutdown.add(function() styleService.unregisterSheet(styleURI, Ci.nsIStyleSheetService.USER_SHEET)); |
| + onShutdown.add(() => styleService.unregisterSheet(styleURI, Ci.nsIStyleSheetService.USER_SHEET)); |
| }, false); |
| request.send(null); |
| @@ -68,7 +62,7 @@ |
| applyToWindow: function(window) |
| { |
| let type = window.document.documentElement.getAttribute("windowtype"); |
| - if (!(type in knownWindowTypes) || window._ehhWrapper) |
| + if (!knownWindowTypes.has(type) || window._ehhWrapper) |
| return; |
| window.document.documentElement.appendChild(overlay.cloneNode(true)); |