| Index: chrome/content/ui/sidebar.js |
| =================================================================== |
| --- a/chrome/content/ui/sidebar.js |
| +++ b/chrome/content/ui/sidebar.js |
| @@ -80,17 +80,17 @@ function init() { |
| let wnd = parent.document.documentElement; |
| for (let attr in defaults) |
| if (!wnd.hasAttribute(attr)) |
| wnd.setAttribute(attr, defaults[attr]); |
| } |
| let {getBrowser, addBrowserLocationListener} = require("appSupport"); |
| - window.__defineGetter__("content", function() {return getBrowser(mainWin).contentWindow;}); |
| + Object.defineProperty(window, "content", { get: () => getBrowser(mainWin).contentWindow }); |
| // Initialize matcher for disabled filters |
| reloadDisabledFilters(); |
| FilterNotifier.addListener(reloadDisabledFilters); |
| Prefs.addListener(onPrefChange); |
| // Activate flasher |
| list.addEventListener("select", onSelectionChange, false); |