| Index: include.preload.js |
| diff --git a/include.preload.js b/include.preload.js |
| index 479ef23dde078c5b6c14bf1cf9002a737555d272..949d039663f9130843b4d8d0a3ddfcb434522066 100644 |
| --- a/include.preload.js |
| +++ b/include.preload.js |
| @@ -400,7 +400,16 @@ function init(document) |
| var style = null; |
| var observer = null; |
| var tracer = null; |
| - var propertyFilters = new CSSPropertyFilters(window, addElemHideSelectors); |
| + |
| + function getPropertyFilters(callback) |
| + { |
| + ext.backgroundPage.sendMessage({ |
| + type: "filters.get", |
| + what: "cssproperties" |
| + }, callback); |
| + } |
| + var propertyFilters = new CSSPropertyFilters(window, getPropertyFilters, |
| + addElemHideSelectors); |
| // Use Shadow DOM if available to don't mess with web pages that rely on |
| // the order of their own <style> tags (#309). |