Index: ext/background.js |
=================================================================== |
--- a/ext/background.js |
+++ b/ext/background.js |
@@ -90,8 +90,16 @@ PageMap.prototype = { |
}, |
delete: function(page) |
{ |
this._map.delete(page._sender); |
} |
}; |
exports.PageMap = PageMap; |
+ |
+exports.showOptions = function(callback) |
+{ |
+ if (typeof callback != "undefined") |
+ Cu.reportError("Unsupported callback parameter passed to ext.showOptions"); |
Sebastian Noack
2015/01/15 13:04:57
Just omit the callback argument? The rest of the a
Wladimir Palant
2015/01/15 14:47:34
It was meant mostly as a reminder, this will likel
|
+ |
+ require("ui").UI.openFiltersDialog(); |
+}; |