Index: lib/appSupport.js |
=================================================================== |
--- a/lib/appSupport.js |
+++ b/lib/appSupport.js |
@@ -479,17 +479,17 @@ switch (application) |
if (!parent || !(parent.compareDocumentPosition(browser) & Ci.nsIDOMNode.DOCUMENT_POSITION_CONTAINED_BY)) |
parent = browser.parentNode; |
_addBottomBar(window, parent, element); |
}; |
exports.removeBottomBar = _removeBottomBar; |
- function BrowserChangeListener(window, callback) |
+ let BrowserChangeListener = function(window, callback) |
{ |
this.window = window; |
this.callback = callback; |
this.onSelect = this.onSelect.bind(this); |
this.attach(); |
}; |
BrowserChangeListener.prototype = { |
window: null, |
@@ -686,17 +686,17 @@ switch (application) |
case "fennec2": |
{ |
exports.isKnownWindow = function fmn_isKnownWindow(/**Window*/ window) window.document.documentElement.id == "main-window"; |
exports.getBrowser = function fmn_getBrowser(window) window.BrowserApp.selectedBrowser; |
exports.addTab = function fmn_addTab(window, url, event) window.BrowserApp.addTab(url, {selected: true}); |
- function BrowserChangeListener(window, callback) |
+ let BrowserChangeListener = function(window, callback) |
{ |
this.window = window; |
this.callback = callback; |
this.onSelect = this.onSelect.bind(this); |
this.attach(); |
}; |
BrowserChangeListener.prototype = { |
window: null, |
@@ -830,17 +830,17 @@ switch (application) |
}; |
let {Filter} = require("filterClasses"); |
let {Prefs} = require("prefs"); |
let {Policy} = require("contentPolicy"); |
let {UI} = require("ui"); |
let {Utils} = require("utils"); |
- function toggleWhitelist(window) |
+ let toggleWhitelist = function(window) |
{ |
if (!Prefs.enabled) |
{ |
Prefs.enabled = true; |
return; |
} |
let location = exports.getCurrentLocation(window); |
@@ -855,17 +855,17 @@ switch (application) |
if (!host) |
return; |
if (Policy.isWhitelisted(location.spec)) |
UI.removeWhitelist(window); |
else |
UI.toggleFilter(Filter.fromText("@@||" + host + "^$document")); |
- } |
+ }; |
let menuItem = null; |
onShutdown.add(function() |
{ |
let window = null; |
for (window in UI.applicationWindows) |
break; |