| 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(); |
| +}; |