| Index: background.js |
| diff --git a/background.js b/background.js |
| index fbfb7166751946e15b0dee1268fedc9fbf3551da..4d37cdceb5fa5dd62e9ed8e1edfd02daa21cb7ff 100644 |
| --- a/background.js |
| +++ b/background.js |
| @@ -28,33 +28,6 @@ var extractHostFromFrame = require("url").extractHostFromFrame; |
| var port = require("messaging").port; |
| var devtools = require("devtools"); |
| -// This is a hack to speedup loading of the options page on Safari. |
| -// Once we replaced the background page proxy with message passing |
| -// this global function should removed. |
| -function getUserFilters() |
| -{ |
| - var filters = []; |
| - var exceptions = []; |
| - |
| - for (var i = 0; i < FilterStorage.subscriptions.length; i++) |
| - { |
| - var subscription = FilterStorage.subscriptions[i]; |
| - if (!(subscription instanceof SpecialSubscription)) |
| - continue; |
| - |
| - for (var j = 0; j < subscription.filters.length; j++) |
| - { |
| - var filter = subscription.filters[j]; |
| - if (filter instanceof WhitelistFilter && /^@@\|\|([^\/:]+)\^\$document$/.test(filter.text)) |
| - exceptions.push(RegExp.$1); |
| - else |
| - filters.push(filter.text); |
| - } |
| - } |
| - |
| - return {filters: filters, exceptions: exceptions}; |
| -} |
| - |
| port.on("get-selectors", function(msg, sender) |
| { |
| var selectors; |