| Index: ext/background.js |
| =================================================================== |
| --- a/ext/background.js |
| +++ b/ext/background.js |
| @@ -90,8 +90,13 @@ PageMap.prototype = { |
| }, |
| delete: function(page) |
| { |
| this._map.delete(page._sender); |
| } |
| }; |
| exports.PageMap = PageMap; |
| + |
| +exports.showOptions = function() |
| +{ |
| + require("ui").UI.openFiltersDialog(); |
| +}; |