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). |